The point isn&#x27;t that memory isn&#x27;t infinite, but that C&#x27;s memory <i>model</i> isn&#x27;t infinite.  There are other languages that do have an infinite memory model (for instance, any language with a builtin bignum type).<p>I mean, if you want to judge ridiculousness, then their explanation of why there are no strictly conforming programs (specifically: even a program with an empty main function cannot be guaranteed not to overflow the stack) is also ridiculous, but it&#x27;s still interesting.