Loader's Number：一个无限内存计算机上的编程挑战

Loader's Number是Ralph Loader编写的C程序loader.c的输出结果，该程序在Bignum Bakeoff竞赛中获得第一名。竞赛目标是用不超过512个字符的C程序，在理论上拥有无限内存的计算机上生成最大的输出。Loader's Number的计算基于Huet-Coquand构造演算，其输出是一个极其巨大的数字，远超其他已知的巨大数，例如Marxen.c的输出。虽然没有正式的证明，但估计其大小已超过了某些快速增长的层次结构中的特定函数值。Loader's Number的计算复杂且耗时，其规模之大超乎想象，代表了计算机科学领域对计算极限的探索。