Hacker News new | past | comments | ask | show | jobs | submit | from login
Time, Clocks, and the Ordering of Events in a Distributed System (1978) [pdf] (lamport.azurewebsites.net)
2 points by wbsun 5 days ago | past | web | discuss
Should Your Specification Language Be Typed? (1999) [pdf] (lamport.azurewebsites.net)
1 point by Tomte 18 days ago | past | web
TLA+: design, model, document, and verify concurrent systems (lamport.azurewebsites.net)
148 points by lolptdr 22 days ago | past | web | 32 comments
Reaching Agreement in the Presence of Faults (1980) [pdf] (lamport.azurewebsites.net)
6 points by apoorvgarg 32 days ago | past | web
How to Write a Proof by Leslie Lamport (1993) [pdf] (lamport.azurewebsites.net)
4 points by logicbundle 32 days ago | past | web
The TLA Home Page (lamport.azurewebsites.net)
1 point by Tomte 49 days ago | past | web
Time, Clocks, and the Ordering of Events in a Distributed System [pdf] (lamport.azurewebsites.net)
20 points by happy-go-lucky 3 months ago | past | web | 2 comments
Use of Formal Methods at Amazon Web Services (2014) [pdf] (lamport.azurewebsites.net)
2 points by panic 4 months ago | past | web
Should Your Specification Language Be Typed? (1999) [pdf] (lamport.azurewebsites.net)
1 point by Tomte 4 months ago | past | web
[pdf] the Part-Time Parliament (lamport.azurewebsites.net)
1 point by endisukaj 8 months ago | past | web
Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net)
83 points by bechap 8 months ago | past | web | 8 comments
The Byzantine Generals Problem (1982) [pdf] (lamport.azurewebsites.net)
127 points by xkgt 9 months ago | past | web | 21 comments
TLA+ Video Course (lamport.azurewebsites.net)
3 points by ScottWRobinson 10 months ago | past | web
The Future of Computing: Logic or Biology (2003) [pdf] (lamport.azurewebsites.net)
126 points by panic 10 months ago | past | web | 47 comments
The TLA+ Video Course by Leslie Lamport (lamport.azurewebsites.net)
219 points by blopeur on Apr 30, 2018 | past | web | 17 comments
Specifying Systems (TLA+ Book) out and free for personal use (lamport.azurewebsites.net)
8 points by paxos_failure on Apr 2, 2018 | past | web
The Future of Computing: Logic or Biology (2003) [pdf] (lamport.azurewebsites.net)
3 points by mpweiher on Jan 28, 2018 | past | web
The Mutual Exclusion Problem Has Been Solved [pdf] (lamport.azurewebsites.net)
3 points by jaffee on Oct 23, 2017 | past | web
On-The-Fly Garbage Collection: An Exercise in Cooperation (1978) [pdf] (lamport.azurewebsites.net)
51 points by mpweiher on Aug 10, 2017 | past | web | 12 comments
Multiple Byte Processing with Full-Word Instructions (1975) [pdf] (lamport.azurewebsites.net)
14 points by mpweiher on Aug 10, 2017 | past | web
What Good Is Temporal Logic? (1983) [pdf] (lamport.azurewebsites.net)
1 point by michaelsbradley on Apr 12, 2017 | past | web | 1 comment
Use of Formal Methods at Amazon Web Services [pdf](2014) (lamport.azurewebsites.net)
1 point by irfansharif on Apr 12, 2017 | past | web
Why Don't Computer Scientists Learn Math? (2016) (lamport.azurewebsites.net)
64 points by 0xCMP on Mar 24, 2017 | past | web | 111 comments
Leslie Lamport: Video course on TLA+ (lamport.azurewebsites.net)
328 points by kelvich on Mar 20, 2017 | past | web | 74 comments
Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net)
9 points by btrask on Jan 30, 2017 | past | web | 1 comment

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

Search: