In that thread, I see for example, another challenge linked on that page:

> Write the shortest possible program (length measured in bytes) satisfying the following requirements:

> infinite memory and runtime

> no input

> output is to stdout

> execution eventually terminates

> total number of output bytes exceeds Graham's number

This sounds like a loop and that's it ?

I'm struggling to see the challenge or discovery there ?