Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Structure and Interpretation of Computer Programs (1996) [pdf]. Parent comment
Security Engineering. Ross Anderson
The Formal Semantics of Programming Languages. Glynn Wynskell.
Communicating Sequential Processes. Tony Hoare. This book is surprising in its compactness and lucidity.
Pi Calculus. Robin Milner.
Semantics With Applications. Hanne Riis Nielson
On Concurrent Programming. Fred Schneider.
Specifying Systems with TLA+. Leslie Lamport.
Distributed Algorithms. Nancy Lynch.
Reliable Distributed Computing. Ken Birman and Robert Van Renesse.
I'm sure I'll recall more as soon as I hit "reply".
There are no comments on this comment yet.
Security Engineering. Ross Anderson
The Formal Semantics of Programming Languages. Glynn Wynskell.
Communicating Sequential Processes. Tony Hoare. This book is surprising in its compactness and lucidity.
Pi Calculus. Robin Milner.
Semantics With Applications. Hanne Riis Nielson
On Concurrent Programming. Fred Schneider.
Specifying Systems with TLA+. Leslie Lamport.
Distributed Algorithms. Nancy Lynch.
Reliable Distributed Computing. Ken Birman and Robert Van Renesse.
I'm sure I'll recall more as soon as I hit "reply".