News for hackers. Stuff that matters.
Re:Formalising a new proof that the square root of two is ir... by henning on Thursday January 19, 2023 @04:35AM (#34438403)
Good luck getting Internet people to actually explain a proof for mere mortals. The whole point is to omit as much as possible to make yourself look smart. Then you can say that it's "obvious" or it's "left as an exercise" or something dismissive rather than just adding a few extra words to explain.

There are no comments on this comment yet.