Nice! Really seems to grok the perspective that this is about finding a good collection of desiderata, and then showing that they aren't actually mutually exclusive.
It has a better description of the algorithm than other sources that have written or made videos about it.
I feel like the algorithm is just a clever search over computable programs that can solve the criteria and falls under the same pitfalls as other algorithms that do the same thing. Mostly it makes the assumption that there exists a program in the search space that fit the criteria it's searching for. I guess if it doesn't exist then the probabilities wouldn't converge to a number that is well calibrated.