Hackernews posts about Lamport

1. How I came to write that paper with Leslie Lamport (lawrencecpaulson.github.io)
   57 points by baruchel 2 days ago | 11 comments
2. The TLA+ Video Course (lamport.azurewebsites.net)
   5 points by woggy 27 days ago | discuss
3. Sears didn't miss e-commerce – Eddie Lampert stripped it [video] (www.youtube.com)
   5 points by adhikaribipin 3 days ago | discuss
4. How to throw a LAN party in 2026 (justinbecker.dev)
   3 points by geekman7473 17 days ago | 4 comments
5. Three important steps in my maturation process (thomasdullien.github.io)
   217 points by tdullien 1 day ago | 120 comments
6. The importance of teaching students what AI can't do (theconversation.com)
   8 points by billybuckwheat about 18 hours ago | discuss
7. 'Betrayal': Ranchers lash out at Donald Trump's plan to cut tax on beef imports (www.ft.com)
   7 points by petethomas 1 day ago | 2 comments
8. The most important European act (0xksure.medium.com)
   3 points by kristohb about 19 hours ago | 1 comments
9. Show HN: OzBrain, a shared brain for knowledge between agents and your team (ozbrain.com)
   85 points by dariusmonsef 1 day ago | 50 comments
10. Show HN: 1667, a terminal UI for writing fiction with language models (1667.ai)
    37 points by refsab 6 days ago | 94 comments
11. Coding Agents killed my identity. How do you feel?
    22 points by bah9 2 days ago | 35 comments
12. Show HN: A desktop fly drawn to the scent of vibecode (github.com)
    20 points by kulikov0 2 days ago | 10 comments
13. Show HN: Seisin – a desktop app that turns your job search into analytics (getseisin.com)
    6 points by LudbaSH 11 days ago | 1 comments
14. Ask HN: One SSH key or many SSH keys?
    4 points by htunnicliff 3 days ago | 6 comments
15. Show HN: Forst – migrate TypeScript back ends to Go incrementally (forst-lang.org)
    3 points by haveyaseen 1 day ago | discuss
16. Ask HN: What a fullstack dev should know about security?
    1 points by ah1508 about 2 hours ago | discuss
17. Tesla and others begin record vehicle recall in China (www.reuters.com)
    7 points by diggernet 1 day ago | 1 comments
18. TLA+ creator Leslie Lamport: 'Programmers need abstractions' (thenewstack.io)
    46 points by MilnerRoute over 1 year ago | discuss
19. Lamport's Byzantine Generals Algorithm in Python (bytepawn.com)
    28 points by Maro about 1 year ago | 1 comments
20. Leslie Lamport Retires (www.lamport.org)
    6 points by cocoa19 over 1 year ago | discuss
21. Programming ≠ coding – Leslie Lamport [video] (www.youtube.com)
    4 points by max_ 6 months ago | discuss
22. Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) (lamport.azurewebsites.net)
    4 points by sovietswag 8 months ago | discuss
23. How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf] (lamport.azurewebsites.net)
    3 points by nill0 over 1 year ago | discuss
24. A Science of Concurrent Programs by Leslie Lamport (lamport.azurewebsites.net)
    2 points by teleforce about 1 month ago | discuss
25. Lamport Signature (en.wikipedia.org)
    2 points by teleforce 2 months ago | discuss
26. Leslie Lamport: The Man Who Revolutionized Computer Science with Math [video] (www.youtube.com)
    1 points by ColinWright over 1 year ago | discuss
27. The Future of TLA+ [pdf] (lamport.azurewebsites.net)
    195 points by tkhattra almost 2 years ago | 105 comments
28. Coding Isn't Programming (www.socallinuxexpo.org)
    155 points by todsacerdoti over 1 year ago | 207 comments
29. A High-Level View of TLA+ (lamport.azurewebsites.net)
    92 points by blobcode about 1 year ago | 19 comments
30. A Science of Concurrent Programs (final draft) (lamport.azurewebsites.net)
    77 points by lateforwork over 1 year ago | 3 comments
31. Paxos Made Simple (2001) [pdf] (lamport.azurewebsites.net)
    65 points by grep_it about 1 month ago | 7 comments
32. TLA+ Video Course (2021) (lamport.azurewebsites.net)
    32 points by Tomte over 1 year ago | discuss
33. How to Write a 21st Century Proof (2011) [pdf] (lamport.azurewebsites.net)
    24 points by User23 8 months ago | 3 comments
34. Why Computer Scientists Don't Learn Math (2017) (lamport.azurewebsites.net)
    4 points by tosh 4 months ago | 1 comments
35. Teaching Concurrency (2009) [pdf] (lamport.azurewebsites.net)
    3 points by todsacerdoti almost 2 years ago | discuss
36. A Science of Concurrent Programs (lamport.azurewebsites.net)
    1 points by todsacerdoti almost 2 years ago | 1 comments
37. Paxos made simple (2001) [pdf] (lamport.azurewebsites.net)
    1 points by vinhnx 6 months ago | discuss
38. Logical and Vector Clock Implementation from Scratch (beyondthesyntax.substack.com)
    1 points by thunderbong over 1 year ago | discuss
39. Time, Clocks and the Ordering of Events in a Distributed System (1978) (lamport.azurewebsites.net)
    1 points by veqq over 1 year ago | discuss
40. Startup and Co-Founder Spouse
    8 points by lamportclock2 almost 2 years ago | 10 comments
41. Only 5 Sears stores remain in the U.S. (www.nytimes.com)
    99 points by bookofjoe 8 months ago | 114 comments
42. Hackers Steal MLB Star Kris Bryant's $200K Lamborghini by Rerouting Delivery (www.carscoops.com)
    37 points by rntn almost 2 years ago | 19 comments
43. Man Asks $75M for 'Lambo.com,' Court Gives It to Lamborghini for Free (www.roadandtrack.com)
    27 points by kerim-ca 9 months ago | 25 comments
44. Looking for Keys Under the Lamppost (www.johndcook.com)
    10 points by zdw about 1 year ago | 5 comments
45. Lamborghini Carjackers Lured by $243M Cyberheist (krebsonsecurity.com)
    9 points by todsacerdoti almost 2 years ago | 2 comments
46. Lamborghini cancels their multi-year EV project (www.engadget.com)
    7 points by dreadsword 6 months ago | 3 comments
47. Nathan Lambert Leaves Ai2 (Allen AI Institute) (twitter.com)
    6 points by pretext 3 months ago | discuss