Hackernews posts about Lamport

1. Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) (lamport.azurewebsites.net)
   4 points by sovietswag 24 days ago | discuss
2. How to Write a 21st Century Proof (2011) [pdf] (lamport.azurewebsites.net)
   24 points by User23 24 days ago | 3 comments
3. Only 5 Sears stores remain in the U.S. (www.nytimes.com)
   99 points by bookofjoe 13 days ago | 114 comments
4. John Malone and the Invention of Liquid-Based Engines (permalink.lanl.gov)
   26 points by akshatjiwan 16 days ago | 5 comments
5. Show HN: Vigil – A clean build watcher for Zig (inspired by Bacon for Rust) (github.com)
   3 points by Chase-Lambert 18 days ago | discuss
6. Show HN: Executable Markdown files with Unix pipes
   93 points by jedwhite about 15 hours ago | 72 comments
7. Tell HN: I write and ship code ~20–50x faster than I did 5 years ago
   63 points by EGreg 10 days ago | 100 comments
8. Ask HN: What did you learn in 2025?
   21 points by kiernanmcgowan 6 days ago | 8 comments
9. Ask HN: How do small teams make sure recurring tasks don't slip?
   7 points by batels 3 days ago | 16 comments
10. Show HN: Call Your Loved Ones (cylo.mkaye.dev)
    4 points by mrkaye97 about 14 hours ago | discuss
11. Show HN: Boxwerk – Ruby package system with Box-powered constant isolation (github.com)
    2 points by dtcristo 4 days ago | 1 comments
12. Show HN: BuildFix– Semantic feature-extraction transfer between TypeScript repos (www.buildfix.dev)
    1 points by RichBennett about 1 hour ago | 1 comments
13. Lamport Clocks (blog.fponzi.me)
    113 points by thunderbong almost 2 years ago | 6 comments
14. Lamport's Bakery algorithm, demonstrated in Python (github.com)
    106 points by eigenvalue almost 2 years ago | 30 comments
15. Distributed Snapshots: Chandy-Lamport Protocol (blog.fponzi.me)
    72 points by federicoponzi over 1 year ago | 4 comments
16. TLA+ creator Leslie Lamport: 'Programmers need abstractions' (thenewstack.io)
    46 points by MilnerRoute 8 months ago | discuss
17. Lamport's Byzantine Generals Algorithm in Python (bytepawn.com)
    28 points by Maro 5 months ago | 1 comments
18. Leslie Lamport Retires (www.lamport.org)
    6 points by cocoa19 about 1 year ago | discuss
19. How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf] (lamport.azurewebsites.net)
    3 points by nill0 10 months ago | discuss
20. Leslie Lamport: programming ≠ coding [video] (www.youtube.com)
    3 points by nequo over 1 year ago | discuss
21. Leslie Lamport: Thinking Above the Code (2014) [video] (www.youtube.com)
    2 points by tosh over 1 year ago | discuss
22. Lamport Clocks (blog.fponzi.me)
    2 points by federicoponzi almost 2 years ago | discuss
23. LaTeX: A Document Preparation System by Leslie Lamport [pdf] (www.cs.ntua.gr)
    1 points by joebig almost 2 years ago | 1 comments
24. Leslie Lamport: The Man Who Revolutionized Computer Science with Math [video] (www.youtube.com)
    1 points by ColinWright 11 months ago | discuss
25. Lamport on Byzantine Generals and Byzantine Failures (2020) [video] (www.youtube.com)
    1 points by karmakaze almost 2 years ago | discuss
26. Lamport Timestamp (en.wikipedia.org)
    1 points by thunderbong almost 2 years ago | discuss
27. Ask HN: Usefulness of formal verification (Coq) and formal specification (TLA+)?
    3 points by mnk47 almost 2 years ago | 1 comments
28. The Future of TLA+ [pdf] (lamport.azurewebsites.net)
    195 points by tkhattra over 1 year ago | 105 comments
29. Coding Isn't Programming (www.socallinuxexpo.org)
    155 points by todsacerdoti 10 months ago | 207 comments
30. A High-Level View of TLA+ (lamport.azurewebsites.net)
    92 points by blobcode 7 months ago | 19 comments
31. A Science of Concurrent Programs (final draft) (lamport.azurewebsites.net)
    77 points by lateforwork about 1 year ago | 3 comments
32. TLA+ Video Course (2021) (lamport.azurewebsites.net)
    32 points by Tomte 8 months ago | discuss
33. Teaching Concurrency (2009) [pdf] (lamport.azurewebsites.net)
    3 points by todsacerdoti over 1 year ago | discuss
34. The Paxos Algorithm or How to Win a Turing Award (lamport.azurewebsites.net)
    3 points by sebg over 1 year ago | discuss
35. How to tell a program from an automobile (1977) [pdf] (lamport.azurewebsites.net)
    3 points by thunderbong over 1 year ago | discuss
36. A Science of Concurrent Programs (lamport.azurewebsites.net)
    1 points by todsacerdoti about 1 year ago | 1 comments
37. Logical and Vector Clock Implementation from Scratch (beyondthesyntax.substack.com)
    1 points by thunderbong 10 months ago | discuss
38. Time, Clocks and the Ordering of Events in a Distributed System (1978) (lamport.azurewebsites.net)
    1 points by veqq about 1 year ago | discuss
39. Introduction to TLA+ (lamport.azurewebsites.net)
    1 points by lovestaco over 1 year ago | discuss
40. Startup and Co-Founder Spouse
    8 points by lamportclock2 over 1 year ago | 10 comments
41. Show HN: ClickStack – Open-source Datadog alternative by ClickHouse and HyperDX (github.com)
    241 points by mikeshi42 7 months ago | 83 comments