|
|
| | The TLA+ Video Course by Leslie Lamport (lamport.azurewebsites.net) | |
219 points by blopeur on April 30, 2018 | past | 17 comments
|
|
| | Specifying Systems (TLA+ Book) out and free for personal use (lamport.azurewebsites.net) | |
8 points by paxos_failure on April 2, 2018 | past
|
|
| | The Future of Computing: Logic or Biology (2003) [pdf] (lamport.azurewebsites.net) | |
3 points by mpweiher on Jan 28, 2018 | past
|
|
| | The Mutual Exclusion Problem Has Been Solved [pdf] (lamport.azurewebsites.net) | |
3 points by jaffee on Oct 23, 2017 | past
|
|
| | On-The-Fly Garbage Collection: An Exercise in Cooperation (1978) [pdf] (lamport.azurewebsites.net) | |
51 points by mpweiher on Aug 10, 2017 | past | 12 comments
|
|
| | Multiple Byte Processing with Full-Word Instructions (1975) [pdf] (lamport.azurewebsites.net) | |
14 points by mpweiher on Aug 10, 2017 | past
|
|
| | What Good Is Temporal Logic? (1983) [pdf] (lamport.azurewebsites.net) | |
1 point by michaelsbradley on April 12, 2017 | past | 1 comment
|
|
| | Use of Formal Methods at Amazon Web Services [pdf](2014) (lamport.azurewebsites.net) | |
1 point by irfansharif on April 12, 2017 | past
|
|
| | Why Don't Computer Scientists Learn Math? (2016) (lamport.azurewebsites.net) | |
64 points by 0xCMP on March 24, 2017 | past | 111 comments
|
|
| | Leslie Lamport: Video course on TLA+ (lamport.azurewebsites.net) | |
328 points by kelvich on March 20, 2017 | past | 74 comments
|
|
| | Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net) | |
9 points by btrask on Jan 30, 2017 | past | 1 comment
|
|
|
Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
