Loader's Number: A Programming Challenge on a Theoretical Infinite-Memory Machine

Loader's Number is the output of loader.c, a C program by Ralph Loader that won the Bignum Bakeoff contest. The goal was to write a C program (under 512 characters) generating the largest possible output on a theoretical machine with infinite memory. The calculation relies on the Huet-Coquand Calculus of Constructions, resulting in an unimaginably large number far exceeding other known large numbers like the output of Marxen.c. While lacking formal proof, estimates place it beyond certain values in fast-growing hierarchies. Calculating Loader's Number is computationally intensive and its sheer scale represents a fascinating exploration of computational limits in computer science.