Hackernews posts about Lamport

1. Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) (lamport.azurewebsites.net)
   4 points by sovietswag 22 days ago | discuss
2. How to Write a 21st Century Proof (2011) [pdf] (lamport.azurewebsites.net)
   24 points by User23 23 days ago | 3 comments
3. Only 5 Sears stores remain in the U.S. (www.nytimes.com)
   99 points by bookofjoe 11 days ago | 114 comments
4. Lamborghini Thinks It Can Do More with Future Off-Road Sterrato Supercars (www.thedrive.com)
   2 points by PaulHoule 23 days ago | discuss
5. John Malone and the Invention of Liquid-Based Engines (permalink.lanl.gov)
   26 points by akshatjiwan 14 days ago | 5 comments
6. Show HN: Vigil – A clean build watcher for Zig (inspired by Bacon for Rust) (github.com)
   3 points by Chase-Lambert 16 days ago | discuss
7. Show HN: Drawing Guessing Game with an LLM (llmparty.pixeletes.com)
   2 points by victornomad 23 days ago | 1 comments
8. Universal UI (llmparty.pixeletes.com)
   1 points by victornomad 27 days ago | discuss
9. The Importance of Sandboxing (www.garden-lang.org)
   2 points by todsacerdoti 9 minutes ago | discuss
10. The importance of Agent Harness in 2026 (www.philschmid.de)
    2 points by twapi about 3 hours ago | discuss
11. About Bootstrapping, and why it's important (notgull.net)
    2 points by zdw about 7 hours ago | discuss
12. The most important skill for software engineers in 2026 (www.qu8n.com)
    1 points by quanwinn about 9 hours ago | discuss
13. Tell HN: Merry Christmas
    1958 points by basilikum 14 days ago | 430 comments
14. Ask HN: What skills do you want to develop or improve in 2026?
    272 points by meridion 13 days ago | 416 comments
15. Show HN: Stop Claude Code from forgetting everything (github.com)
    202 points by austinbaggio 9 days ago | 227 comments
16. Tell HN: I write and ship code ~20–50x faster than I did 5 years ago
    61 points by EGreg 8 days ago | 99 comments
17. Ask HN: What did you learn in 2025?
    19 points by kiernanmcgowan 4 days ago | 8 comments
18. Show HN: Cited AI – AI answers with citations linking to exact source passages (getcitedai.com)
    6 points by collin1 about 10 hours ago | discuss
19. Ask HN: How do small teams make sure recurring tasks don't slip?
    5 points by batels 1 day ago | 8 comments
20. Agentic Frameworks in 2026: Less Hype, More Autonomy
    1 points by raghavchamadiya 1 day ago | 1 comments
21. Show HN: ElevenPage Reader – Chrome Extension to read your page with ElevenLabs (github.com)
    1 points by aedrax about 5 hours ago | discuss
22. Show HN: One API for LinkedIn, X, Slack, SMS, and email (yeetpost)
    1 points by marttilaine about 12 hours ago | discuss
23. I built an email tool that lands emails in user's inboxes – not spam
    1 points by mddanishyusuf about 15 hours ago | discuss
24. 6 months of my SaaS, real numbers, real mistakes, no sugarcoating
    1 points by prompthance about 16 hours ago | discuss
25. Lamport Clocks (blog.fponzi.me)
    113 points by thunderbong almost 2 years ago | 6 comments
26. Lamport's Bakery algorithm, demonstrated in Python (github.com)
    106 points by eigenvalue almost 2 years ago | 30 comments
27. Distributed Snapshots: Chandy-Lamport Protocol (blog.fponzi.me)
    72 points by federicoponzi over 1 year ago | 4 comments
28. TLA+ creator Leslie Lamport: 'Programmers need abstractions' (thenewstack.io)
    46 points by MilnerRoute 8 months ago | discuss
29. Lamport's Byzantine Generals Algorithm in Python (bytepawn.com)
    28 points by Maro 5 months ago | 1 comments
30. Leslie Lamport Retires (www.lamport.org)
    6 points by cocoa19 about 1 year ago | discuss
31. How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf] (lamport.azurewebsites.net)
    3 points by nill0 10 months ago | discuss
32. Leslie Lamport: programming ≠ coding [video] (www.youtube.com)
    3 points by nequo over 1 year ago | discuss
33. Leslie Lamport: Thinking Above the Code (2014) [video] (www.youtube.com)
    2 points by tosh over 1 year ago | discuss
34. Lamport Clocks (blog.fponzi.me)
    2 points by federicoponzi almost 2 years ago | discuss
35. LaTeX: A Document Preparation System by Leslie Lamport [pdf] (www.cs.ntua.gr)
    1 points by joebig almost 2 years ago | 1 comments
36. Leslie Lamport: The Man Who Revolutionized Computer Science with Math [video] (www.youtube.com)
    1 points by ColinWright 11 months ago | discuss
37. Lamport on Byzantine Generals and Byzantine Failures (2020) [video] (www.youtube.com)
    1 points by karmakaze almost 2 years ago | discuss
38. Lamport Timestamp (en.wikipedia.org)
    1 points by thunderbong almost 2 years ago | discuss
39. Ask HN: Usefulness of formal verification (Coq) and formal specification (TLA+)?
    3 points by mnk47 over 1 year ago | 1 comments
40. The Future of TLA+ [pdf] (lamport.azurewebsites.net)
    195 points by tkhattra over 1 year ago | 105 comments
41. Coding Isn't Programming (www.socallinuxexpo.org)
    155 points by todsacerdoti 10 months ago | 207 comments
42. A High-Level View of TLA+ (lamport.azurewebsites.net)
    92 points by blobcode 7 months ago | 19 comments
43. A Science of Concurrent Programs (final draft) (lamport.azurewebsites.net)
    77 points by lateforwork about 1 year ago | 3 comments
44. TLA+ Video Course (2021) (lamport.azurewebsites.net)
    32 points by Tomte 8 months ago | discuss
45. Teaching Concurrency (2009) [pdf] (lamport.azurewebsites.net)
    3 points by todsacerdoti over 1 year ago | discuss
46. The Paxos Algorithm or How to Win a Turing Award (lamport.azurewebsites.net)
    3 points by sebg over 1 year ago | discuss
47. How to tell a program from an automobile (1977) [pdf] (lamport.azurewebsites.net)
    3 points by thunderbong over 1 year ago | discuss
48. A Science of Concurrent Programs (lamport.azurewebsites.net)
    1 points by todsacerdoti about 1 year ago | 1 comments
49. Logical and Vector Clock Implementation from Scratch (beyondthesyntax.substack.com)
    1 points by thunderbong 10 months ago | discuss
50. Time, Clocks and the Ordering of Events in a Distributed System (1978) (lamport.azurewebsites.net)
    1 points by veqq about 1 year ago | discuss
51. Introduction to TLA+ (lamport.azurewebsites.net)
    1 points by lovestaco over 1 year ago | discuss
52. Startup and Co-Founder Spouse
    8 points by lamportclock2 over 1 year ago | 10 comments
53. Lamborghini licenses MIT's new high-capacity, fast-charging organic battery tech (techcrunch.com)
    55 points by thunderbong almost 2 years ago | 22 comments
54. Hackers Steal MLB Star Kris Bryant's $200K Lamborghini by Rerouting Delivery (www.carscoops.com)
    37 points by rntn about 1 year ago | 19 comments