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

Applications are open for YC Winter 2018

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

Search: