Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Kind: A Modern Proof Language. Parent comment
But honestly it's not that great of a user experience, though it does seem to have been improved at least a little bit since the last time I used it in ~2016 or so.
But honestly it's not that great of a user experience, though it does seem to have been improved at least a little bit since the last time I used it in ~2016 or so.