zlacker

>>jeremy+(OP)
Now the contest for programmers: Write the biggest number in one line of code (80 characters, keywords count as 1 character, whitespace - 0) using computer language of choice(standard library with infinite integer type) that any reasonable programmer can prove that it is actually a finite number.

>>gglon+Hj
might be easier to use a language like Idris, which can check that functions are total (i.e. return a finite number in finite time).