TIL about Chaitin’s constant. As presented here it seems not well defined, in that it would have to be with reference to some specific instruction set. Guess I have some more reading to do!