Hackernews posts about Lamport

1. Coding Isn't Programming (www.socallinuxexpo.org)
   155 points by todsacerdoti 26 days ago | 207 comments
2. Show HN: OpenNutrition – A free, public nutrition database (www.opennutrition.app)
   311 points by joshdickson 17 days ago | 150 comments
3. Show HN: Undercutf1 – F1 Live Timing TUI with Driver Tracker, Variable Delay (github.com)
   273 points by deltaknight 1 day ago | 69 comments
4. Launch HN: mrge.io (YC X25) – Cursor for code review
   220 points by pomarie 5 days ago | 107 comments
5. Show HN: Comparing product rankings by OpenAI, Anthropic, and Perplexity (productrank.ai)
   125 points by the1024 11 days ago | 35 comments
6. Ask HN: What are the best books on talking to users?
   10 points by terrellbm 3 days ago | 21 comments
7. We created AI that detects urgent emails and alerts you via Telegram
   5 points by hagan about 20 hours ago | discuss
8. Show HN: Flight search that shows aircraft and airline safety records (flysafe.baby)
   3 points by boshjerns 1 day ago | discuss
9. Show HN: Beta for Doltgres, the Postgres Version of Dolt
   3 points by zachmu 4 days ago | discuss
10. DHL suspends B2C shipments over 800 USD until further notice (www.dhl.com)
    153 points by lategloriousgnu 3 days ago | 71 comments
11. Unpowered SSD endurance investigation finds data loss and performance issues (www.tomshardware.com)
    111 points by progval about 19 hours ago | 75 comments
12. Pixel 9a vs. iPhone 16e (store.google.com)
    6 points by alamortsubite 2 days ago | 10 comments
13. The Truth about AI and copyright that nobody will say out loud (roadtoartificia.com)
    2 points by jlaporte 3 days ago | 2 comments
14. Lamport Clocks (blog.fponzi.me)
    113 points by thunderbong about 1 year ago | 6 comments
15. Lamport's Bakery algorithm, demonstrated in Python (github.com)
    106 points by eigenvalue over 1 year ago | 30 comments
16. Distributed Snapshots: Chandy-Lamport Protocol (blog.fponzi.me)
    72 points by federicoponzi 11 months ago | 4 comments
17. Leslie Lamport’s TLA+ Online Course (2018) [video] (www.youtube.com)
    16 points by nequo almost 2 years ago | 1 comments
18. Leslie Lamport Retires (www.lamport.org)
    6 points by cocoa19 4 months ago | discuss
19. How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf] (lamport.azurewebsites.net)
    3 points by nill0 about 1 month ago | discuss
20. Leslie Lamport: programming ≠ coding [video] (www.youtube.com)
    3 points by nequo 10 months ago | discuss
21. Thinking outside the box of code with Leslie Lamport (changelog.com)
    3 points by signa11 over 1 year ago | discuss
22. Specifying Systems by Leslie Lamport (lamport.azurewebsites.net)
    3 points by cristoperb almost 2 years ago | discuss
23. Leslie Lamport: Thinking Above the Code (2014) [video] (www.youtube.com)
    2 points by tosh 12 months ago | discuss
24. Lamport Clocks (blog.fponzi.me)
    2 points by federicoponzi about 1 year ago | discuss
25. LaTeX: A Document Preparation System by Leslie Lamport [pdf] (www.cs.ntua.gr)
    1 points by joebig about 1 year ago | 1 comments
26. Leslie Lamport: The Man Who Revolutionized Computer Science with Math [video] (www.youtube.com)
    1 points by ColinWright 2 months ago | discuss
27. Lamport on Byzantine Generals and Byzantine Failures (2020) [video] (www.youtube.com)
    1 points by karmakaze about 1 year ago | discuss
28. Lamport Timestamp (en.wikipedia.org)
    1 points by thunderbong about 1 year ago | discuss
29. Thinking outside the box of code with Leslie Lamport (changelog.com)
    1 points by ibraheemdev over 1 year ago | discuss
30. Distributing Lamport’s bakery with Automerge, and a touch of TLA+ (medium.com)
    1 points by lukastyrychtr over 1 year ago | discuss
31. Show HN: Arroyo – Write SQL on streaming data (github.com)
    115 points by necubi almost 2 years ago | 32 comments
32. Ask HN: Usefulness of formal verification (Coq) and formal specification (TLA+)?
    3 points by mnk47 about 1 year ago | 1 comments
33. Ask HN: Any good podcasts to summarize seminal papers in distributed systems?
    1 points by mihirmp over 1 year ago | discuss
34. Ask HN: How you understand TLA+ and how you use TLA+ in your projects?
    1 points by 8ed30dc almost 2 years ago | discuss
35. The Future of TLA+ [pdf] (lamport.azurewebsites.net)
    195 points by tkhattra 8 months ago | 105 comments
36. A Science of Concurrent Programs [pdf] (lamport.azurewebsites.net)
    187 points by paulolc over 1 year ago | 33 comments
37. Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net)
    80 points by Jtsummers almost 2 years ago | 37 comments
38. A Science of Concurrent Programs (final draft) (lamport.azurewebsites.net)
    77 points by lateforwork 5 months ago | 3 comments
39. A Science of Concurrent Programs – draft (2024) [pdf] (lamport.azurewebsites.net)
    11 points by mirzap over 1 year ago | discuss
40. Teaching Concurrency (2009) [pdf] (lamport.azurewebsites.net)
    3 points by todsacerdoti 8 months ago | discuss
41. The Paxos Algorithm or How to Win a Turing Award (lamport.azurewebsites.net)
    3 points by sebg 10 months ago | discuss
42. How to tell a program from an automobile (1977) [pdf] (lamport.azurewebsites.net)
    3 points by thunderbong 12 months ago | discuss
43. A Science of Concurrent Programs (lamport.azurewebsites.net)
    1 points by todsacerdoti 5 months ago | 1 comments