Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Undervalued Engineering Skills: Writing Well. Parent comment
It's layered on top of a quote of Guindon he uses in a book about TLA+ in order to make a point for using math to formally specify systems
There are no comments on this comment yet.
It's layered on top of a quote of Guindon he uses in a book about TLA+ in order to make a point for using math to formally specify systems