Hacker News new | past | comments | ask | show | jobs | submit | from login
Distributed system definition at DEC SRC bulletin board (1987) (lamport.azurewebsites.net)
27 points by sunainapai 3 months ago | past | 4 comments
The Writings of Leslie Lamport (lamport.azurewebsites.net)
157 points by kaymanb 5 months ago | past | 10 comments
Leslie Lamport: collected works (2019) (lamport.azurewebsites.net)
4 points by simonebrunozzi 8 months ago | past
The Byzantine Generals Problem (1982) [pdf] (lamport.azurewebsites.net)
163 points by simonebrunozzi 8 months ago | past | 56 comments
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Eng [pdf] (lamport.azurewebsites.net)
3 points by Anon84 9 months ago | past
Should Your Specification Language Be Typed? (1999) [pdf] (lamport.azurewebsites.net)
3 points by Tomte 10 months ago | past
The Part-Time Parliament (1998) [pdf] (lamport.azurewebsites.net)
2 points by tosh on Aug 31, 2019 | past
The Paxos Algorithm, or How to Win a Turing Award (lamport.azurewebsites.net)
328 points by pron on Aug 30, 2019 | past | 83 comments
A New Solution of Dijkstra's Concurrent Programming Problem (Lamport, 1974) [pdf] (lamport.azurewebsites.net)
2 points by tosh on June 28, 2019 | past
Bronx High School Math Bulletin (1957) [pdf] (lamport.azurewebsites.net)
65 points by amykyta on June 19, 2019 | past | 18 comments
Time, Clocks, and the Ordering of Events in a Distributed System (1978) [pdf] (lamport.azurewebsites.net)
2 points by wbsun on May 20, 2019 | past
Should Your Specification Language Be Typed? (1999) [pdf] (lamport.azurewebsites.net)
1 point by Tomte on May 7, 2019 | past
TLA+: design, model, document, and verify concurrent systems (lamport.azurewebsites.net)
148 points by lolptdr on May 3, 2019 | past | 32 comments
Reaching Agreement in the Presence of Faults (1980) [pdf] (lamport.azurewebsites.net)
6 points by apoorvgarg on Apr 23, 2019 | past
How to Write a Proof by Leslie Lamport (1993) [pdf] (lamport.azurewebsites.net)
4 points by logicbundle on Apr 23, 2019 | past
The TLA Home Page (lamport.azurewebsites.net)
1 point by Tomte on Apr 6, 2019 | past
Time, Clocks, and the Ordering of Events in a Distributed System [pdf] (lamport.azurewebsites.net)
20 points by happy-go-lucky on Jan 27, 2019 | past | 2 comments
Use of Formal Methods at Amazon Web Services (2014) [pdf] (lamport.azurewebsites.net)
2 points by panic on Jan 22, 2019 | past
Should Your Specification Language Be Typed? (1999) [pdf] (lamport.azurewebsites.net)
1 point by Tomte on Jan 9, 2019 | past
[pdf] the Part-Time Parliament (lamport.azurewebsites.net)
1 point by endisukaj on Sept 27, 2018 | past
Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net)
83 points by bechap on Sept 18, 2018 | past | 8 comments
The Byzantine Generals Problem (1982) [pdf] (lamport.azurewebsites.net)
127 points by xkgt on Aug 6, 2018 | past | 21 comments
TLA+ Video Course (lamport.azurewebsites.net)
3 points by ScottWRobinson on July 21, 2018 | past
The Future of Computing: Logic or Biology (2003) [pdf] (lamport.azurewebsites.net)
126 points by panic on July 4, 2018 | past | 47 comments
The TLA+ Video Course by Leslie Lamport (lamport.azurewebsites.net)
219 points by blopeur on Apr 30, 2018 | past | 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
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

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

Search: