Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on The Case for Formal Verification (2013). Parent comment
* Leader election in a ring
* Hotel room locking (this one is really cool)
* Media asset library management
* Memory abstractions
[1] http://books.google.com/books?id=DDv8Ie_jBUQC&lpg=PP1&dq=sof...
There are no comments on this comment yet.
* Leader election in a ring
* Hotel room locking (this one is really cool)
* Media asset library management
* Memory abstractions
[1] http://books.google.com/books?id=DDv8Ie_jBUQC&lpg=PP1&dq=sof...