Hackernews posts about Lamport

1. Lamport's Byzantine Generals Algorithm in Python (bytepawn.com)
   28 points by Maro 22 days ago | 1 comments
2. Global firms including Palantir 'profiting from genocide' in Gaza: UN rapporteur (www.theguardian.com)
   12 points by nojonestownpls about 8 hours ago | 1 comments
3. Launch HN: Uplift (YC S25) – Voice models for under-served languages
   112 points by zaidqureshi 5 days ago | 51 comments
4. Ask HN: Solar+WiFi IP Security Cameras?
   1 points by beezle about 9 hours ago | 3 comments
5. Chrome 142 will drop support for pre-Skylake CPUs without AVX2 (support.google.com)
   5 points by nsdfg about 7 hours ago | 3 comments
6. Lamport Clocks (blog.fponzi.me)
   113 points by thunderbong over 1 year ago | 6 comments
7. Lamport's Bakery algorithm, demonstrated in Python (github.com)
   106 points by eigenvalue over 1 year ago | 30 comments
8. Distributed Snapshots: Chandy-Lamport Protocol (blog.fponzi.me)
   72 points by federicoponzi about 1 year ago | 4 comments
9. TLA+ creator Leslie Lamport: 'Programmers need abstractions' (thenewstack.io)
   46 points by MilnerRoute 4 months ago | discuss
10. Leslie Lamport Retires (www.lamport.org)
    6 points by cocoa19 8 months ago | discuss
11. How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf] (lamport.azurewebsites.net)
    3 points by nill0 6 months ago | discuss
12. Leslie Lamport: programming ≠ coding [video] (www.youtube.com)
    3 points by nequo about 1 year ago | discuss
13. Leslie Lamport: Thinking Above the Code (2014) [video] (www.youtube.com)
    2 points by tosh over 1 year ago | discuss
14. Lamport Clocks (blog.fponzi.me)
    2 points by federicoponzi over 1 year ago | discuss
15. LaTeX: A Document Preparation System by Leslie Lamport [pdf] (www.cs.ntua.gr)
    1 points by joebig over 1 year ago | 1 comments
16. Leslie Lamport: The Man Who Revolutionized Computer Science with Math [video] (www.youtube.com)
    1 points by ColinWright 7 months ago | discuss
17. Lamport on Byzantine Generals and Byzantine Failures (2020) [video] (www.youtube.com)
    1 points by karmakaze over 1 year ago | discuss
18. Lamport Timestamp (en.wikipedia.org)
    1 points by thunderbong over 1 year ago | discuss
19. Ask HN: Usefulness of formal verification (Coq) and formal specification (TLA+)?
    3 points by mnk47 over 1 year ago | 1 comments
20. Ask HN: Any good podcasts to summarize seminal papers in distributed systems?
    1 points by mihirmp over 1 year ago | discuss
21. The Future of TLA+ [pdf] (lamport.azurewebsites.net)
    195 points by tkhattra 12 months ago | 105 comments
22. A Science of Concurrent Programs [pdf] (lamport.azurewebsites.net)
    187 points by paulolc over 1 year ago | 33 comments
23. Coding Isn't Programming (www.socallinuxexpo.org)
    155 points by todsacerdoti 5 months ago | 207 comments
24. A High-Level View of TLA+ (lamport.azurewebsites.net)
    92 points by blobcode 3 months ago | 19 comments
25. A Science of Concurrent Programs (final draft) (lamport.azurewebsites.net)
    77 points by lateforwork 9 months ago | 3 comments
26. TLA+ Video Course (2021) (lamport.azurewebsites.net)
    32 points by Tomte 4 months ago | discuss
27. A Science of Concurrent Programs – draft (2024) [pdf] (lamport.azurewebsites.net)
    11 points by mirzap over 1 year ago | discuss
28. Teaching Concurrency (2009) [pdf] (lamport.azurewebsites.net)
    3 points by todsacerdoti 12 months ago | discuss
29. The Paxos Algorithm or How to Win a Turing Award (lamport.azurewebsites.net)
    3 points by sebg about 1 year ago | discuss
30. How to tell a program from an automobile (1977) [pdf] (lamport.azurewebsites.net)
    3 points by thunderbong over 1 year ago | discuss
31. A Science of Concurrent Programs (lamport.azurewebsites.net)
    1 points by todsacerdoti 10 months ago | 1 comments
32. Logical and Vector Clock Implementation from Scratch (beyondthesyntax.substack.com)
    1 points by thunderbong 6 months ago | discuss
33. Time, Clocks and the Ordering of Events in a Distributed System (1978) (lamport.azurewebsites.net)
    1 points by veqq 9 months ago | discuss
34. Introduction to TLA+ (lamport.azurewebsites.net)
    1 points by lovestaco over 1 year ago | discuss
35. Startup and Co-Founder Spouse
    8 points by lamportclock2 11 months ago | 10 comments