Hacker News Reader

The proof exists in πfs, you just need to know the metadata to retrieve it!

But so do all of the lawyers' rebuttals! And I'll bet my money they'll find the metadata for them first...

There was an examination of this sort of thing in the webcomic Freefall --- shortest story is 6 words, 100,000 words for English vocabulary, order matters --- it worked out to a data storage unit the size of a small moon.

Links:

<http://freefall.purrsia.com/ff2100/fv02058.htm>

<http://freefall.purrsia.com/ff2100/fv02059.htm>

<http://freefall.purrsia.com/ff2100/fv02060.htm>

Thanks for posting those! I was off by a factor of 10.

No one has proved that pi is normal, true. But pi is normal. I mean come on! Like just between us, two friends talking, we both know that pi is normal. It'll be a nightmare to prove but I'd put extremely good odds on it. Probably better odds than RSA being secure, which is also not strictly proven but pretty likely.