Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Ask HN: What is the Holy Grail for Software Engineering?.
For software engineering, how about a practical way to do proofs of correctness for large real-world systems written in mainstream languages?
There are no comments on this comment yet.
For software engineering, how about a practical way to do proofs of correctness for large real-world systems written in mainstream languages?