Hacker News Reader

What the actual hell is this? Have people really gone to this much effort to write a backstory for a comedic skit?

That’s genuine metamathematics, only one joke in there https://ncatlab.org/nlab/list/joke

Any sufficiently-advanced mathematics is indistinguishable from technobabble, I guess