[deleted] comments on A Series of Increasingly Perverse and Destructive Games

[[deleted]]

The winner of the actual contest used a similar strategy, using programs in the calculus of constructions so they are guaranteed to halt.

Whelp, that’s it, then. Ralph Loader has discovered the largest integer.