There was a contest to write the 512-char C program that generated the largest number (but still terminates), assuming that all integer types are unbounded: htt

There was a contest to write the 512-char C program that generated the largest number (but still terminates), assuming that all integer types are unbounded: http://djm.cc/bignum-results.txt http://djm.cc/bignum-results.txt The method used by the winning entry is extremely interesting: return the outputs of all possible programs up to a certain size which terminate according to the calculus of constructions. It's quite crazy to have done this in 512 chars.