Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Coming Soon: Machine-Checked Proofs in Everyday Development. Parent comment
I wrote up what this could look like: https://pastebin.com/raw/ZAys0mYp
There are no comments on this comment yet.
I wrote up what this could look like: https://pastebin.com/raw/ZAys0mYp