Hacker News new | comments | show | ask | jobs | submit | from login
The Mutual Exclusion Problem Has Been Solved [pdf] (lamport.azurewebsites.net)
3 points by jaffee 50 days ago | past | web
On-The-Fly Garbage Collection: An Exercise in Cooperation (1978) [pdf] (lamport.azurewebsites.net)
51 points by mpweiher 124 days ago | past | web | 12 comments
Multiple Byte Processing with Full-Word Instructions (1975) [pdf] (lamport.azurewebsites.net)
14 points by mpweiher 124 days ago | past | web
What Good Is Temporal Logic? (1983) [pdf] (lamport.azurewebsites.net)
1 point by michaelsbradley 244 days ago | past | web | 1 comment
Use of Formal Methods at Amazon Web Services [pdf](2014) (lamport.azurewebsites.net)
1 point by irfansharif 244 days ago | past | web
Why Don't Computer Scientists Learn Math? (2016) (lamport.azurewebsites.net)
64 points by 0xCMP 263 days ago | past | web | 111 comments
Leslie Lamport: Video course on TLA+ (lamport.azurewebsites.net)
328 points by kelvich 267 days ago | past | web | 74 comments
Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net)
9 points by btrask 316 days ago | past | web | 1 comment

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: