Hacker News
I came to write THAT paper with Leslie Lamport
(lawrencecpaulson.github.io)
13 points
by baruchel
2 hours ago
|
3 comments
