Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Formal Verification Creates Hacker-Proof Code. Parent comment
To put it another way, in order to disqualify self-reference, you would need to employ a higher order proof system--which gives the game away anyway.
There are no comments on this comment yet.
To put it another way, in order to disqualify self-reference, you would need to employ a higher order proof system--which gives the game away anyway.