Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on I no longer understand my PhD dissertation. Parent comment
> Only in the sense that writing in brainfuck is equivalent to writing in Python...
Actually, in the very concrete sense that a program is a proof for the forumala that is equivalent to its type[0].
[0] https://en.wikipedia.org/wiki/Curry–Howard_correspondence
There are no comments on this comment yet.
> Only in the sense that writing in brainfuck is equivalent to writing in Python...
Actually, in the very concrete sense that a program is a proof for the forumala that is equivalent to its type[0].
[0] https://en.wikipedia.org/wiki/Curry–Howard_correspondence