News for hackers. Stuff that matters.
Re:Gödel, Escher, Bach: an in-depth explainer by sdenton4 on Tuesday September 13, 2022 @09:37PM (#32832293)
Welcome to the formal systems party! You can eat all the appetizers you want, but they aren't very filling.

There are no comments on this comment yet.