Hacker News Reader

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