| | Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) (lamport.azurewebsites.net) |
| 4 points by sovietswag 3 days ago | past | discuss |
|
| | How to Write a 21st Century Proof (2011) [pdf] (lamport.azurewebsites.net) |
| 4 points by User23 3 days ago | past | discuss |
|
| | A High-Level View of TLA+ (lamport.azurewebsites.net) |
| 92 points by blobcode 6 months ago | past | 19 comments |
|
| | TLA+ Video Course (2021) (lamport.azurewebsites.net) |
| 32 points by Tomte 7 months ago | past |
|
| | How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf] (lamport.azurewebsites.net) |
| 3 points by nill0 9 months ago | past |
|
| | Time, Clocks and the Ordering of Events in a Distributed System (1978) (lamport.azurewebsites.net) |
| 1 point by veqq on Dec 9, 2024 | past |
|
| | A Science of Concurrent Programs (final draft) (lamport.azurewebsites.net) |
| 77 points by lateforwork on Dec 1, 2024 | past | 3 comments |
|
| | A Science of Concurrent Programs (lamport.azurewebsites.net) |
| 1 point by todsacerdoti on Nov 7, 2024 | past | 1 comment |
|
| | The Future of TLA+ [pdf] (lamport.azurewebsites.net) |
| 195 points by tkhattra on Aug 28, 2024 | past | 105 comments |
|
| | Teaching Concurrency (2009) [pdf] (lamport.azurewebsites.net) |
| 3 points by todsacerdoti on Aug 26, 2024 | past |
|
| | The Paxos Algorithm or How to Win a Turing Award (lamport.azurewebsites.net) |
| 3 points by sebg on June 26, 2024 | past |
|
| | Introduction to TLA+ (lamport.azurewebsites.net) |
| 1 point by lovestaco on May 21, 2024 | past |
|
| | How to tell a program from an automobile (1977) [pdf] (lamport.azurewebsites.net) |
| 3 points by thunderbong on April 29, 2024 | past |
|
| | A Science of Concurrent Programs [pdf] (lamport.azurewebsites.net) |
| 187 points by paulolc on Jan 4, 2024 | past | 33 comments |
|
| | A Science of Concurrent Programs – draft (2024) [pdf] (lamport.azurewebsites.net) |
| 11 points by mirzap on Jan 3, 2024 | past |
|
| | Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net) |
| 80 points by Jtsummers on July 12, 2023 | past | 37 comments |
|
| | Specifying Systems by Leslie Lamport (lamport.azurewebsites.net) |
| 3 points by cristoperb on May 10, 2023 | past |
|
| | TLA in Pictures [pdf] (lamport.azurewebsites.net) |
| 2 points by yeesian on April 19, 2023 | past |
|
| | Document Production: Visual or Logical? (1987) [pdf] (lamport.azurewebsites.net) |
| 10 points by pncnmnp on March 10, 2023 | past | 1 comment |
|
| | The TLA+ Video Course (lamport.azurewebsites.net) |
| 1 point by gits1225 on Feb 25, 2023 | past |
|
| | Should Your Specification Language Be Typed? (1999) [pdf] (lamport.azurewebsites.net) |
| 1 point by Tomte on Feb 8, 2023 | past |
|
| | The TLA Home Page (lamport.azurewebsites.net) |
| 2 points by Tomte on Feb 1, 2023 | past |
|
| | What good is temporal logic? [pdf] (lamport.azurewebsites.net) |
| 2 points by andsoitis on Jan 6, 2023 | past |
|
| | TLA+ Video Course (2021) (lamport.azurewebsites.net) |
| 1 point by Tomte on Nov 20, 2022 | past |
|
| | Leslie Lamport: State the Problem Before Describing the Solution [pdf] (lamport.azurewebsites.net) |
| 32 points by yarapavan on Oct 28, 2022 | past | 4 comments |
|
| | Should Your Specification Language Be Typed? (1999) [pdf] (lamport.azurewebsites.net) |
| 1 point by Tomte on June 28, 2022 | past |
|
| | The TLA+ Home Page (lamport.azurewebsites.net) |
| 2 points by Tomte on June 24, 2022 | past |
|
| | The Writings of Leslie Lamport (lamport.azurewebsites.net) |
| 3 points by lazyjeff on May 23, 2022 | past |
|
| | TLA+ Video Course (lamport.azurewebsites.net) |
| 30 points by kondor on May 20, 2022 | past |
|
| | The Writings of Leslie Lamport (lamport.azurewebsites.net) |
| 2 points by alschwalm on April 25, 2022 | past |
|
|
| More |
