Hackernews posts about Lamport

1. Lamport Signature (en.wikipedia.org)
   2 points by teleforce 24 days ago | discuss
2. Retrieval is not the future of AI – if it was, Google would have won already
   4 points by lamprouge 5 days ago | 2 comments
3. Nord – The Making of the Red Keyboards [video] (www.youtube.com)
   4 points by lporto 12 days ago | discuss
4. Superintellignce is still decades away
   3 points by lamprouge 9 days ago | 1 comments
5. If prime numbers are rare, then why do they keep showing up in pairs? [video] (www.youtube.com)
   2 points by lambertsimnel 24 days ago | discuss
6. The .at domain registry is threatening to send debt collectors (2013) (old.reddit.com)
   1 points by lambertsimnel 29 days ago | discuss
7. Has China obtained the most important machine? (www.economist.com)
   14 points by pingou 4 days ago | 5 comments
8. Show HN: Rowboat – Open-source, local-first alternative to Claude Desktop (github.com)
   214 points by segmenta 2 days ago | 92 comments
9. Show HN: Fast, native Mac file manager (filters, fuzzy find, 9 MB, no Electron) (whimfiles.com)
   98 points by whimbyte 2 days ago | 72 comments
10. Ask HN: Since when does Craigslist's front page have emojis?
    40 points by argee 9 days ago | 33 comments
11. Show HN: Hnwork.app – UI for Who is hiring posts (hnwork.app)
    22 points by scottilee about 14 hours ago | 5 comments
12. Show HN: Abralo – Free, easy way to run several Claude Code agents in one window (abralo.com)
    13 points by cwbuilds about 19 hours ago | 2 comments
13. Show HN: Belgie – Run TypeScript from Python in an Embedded Deno Sandbox (github.com)
    5 points by mplemay97 3 days ago | 1 comments
14. Show HN: Bike4Mind – open-core AI workbench; any model, agents, RAG, self-host (github.com)
    4 points by erikbethke 1 day ago | 2 comments
15. Show HN: Open-source desktop agent that uses a local folder as its memory (github.com)
    2 points by 10keane 2 days ago | discuss
16. Show HN:Getting GLM 5.2 running on my slow computer
    1 points by vforno about 2 hours ago | discuss
17. Show HN: Rewire Text – system-wide text transforms with BYOK and local-models (sunsetmesasoftware.com)
    1 points by digitalhobbit 2 days ago | discuss
18. TLA+ creator Leslie Lamport: 'Programmers need abstractions' (thenewstack.io)
    46 points by MilnerRoute about 1 year ago | discuss
19. Lamport's Byzantine Generals Algorithm in Python (bytepawn.com)
    28 points by Maro 11 months 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_ 4 months ago | discuss
22. Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) (lamport.azurewebsites.net)
    4 points by sovietswag 7 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. Leslie Lamport: The Man Who Revolutionized Computer Science with Math [video] (www.youtube.com)
    1 points by ColinWright over 1 year ago | discuss
25. The Future of TLA+ [pdf] (lamport.azurewebsites.net)
    195 points by tkhattra almost 2 years ago | 105 comments
26. Coding Isn't Programming (www.socallinuxexpo.org)
    155 points by todsacerdoti over 1 year ago | 207 comments
27. A High-Level View of TLA+ (lamport.azurewebsites.net)
    92 points by blobcode about 1 year ago | 19 comments
28. A Science of Concurrent Programs (final draft) (lamport.azurewebsites.net)
    77 points by lateforwork over 1 year ago | 3 comments
29. TLA+ Video Course (2021) (lamport.azurewebsites.net)
    32 points by Tomte about 1 year ago | discuss
30. How to Write a 21st Century Proof (2011) [pdf] (lamport.azurewebsites.net)
    24 points by User23 7 months ago | 3 comments
31. Why Computer Scientists Don't Learn Math (2017) (lamport.azurewebsites.net)
    4 points by tosh 2 months ago | 1 comments
32. Teaching Concurrency (2009) [pdf] (lamport.azurewebsites.net)
    3 points by todsacerdoti almost 2 years ago | discuss
33. A Science of Concurrent Programs (lamport.azurewebsites.net)
    1 points by todsacerdoti over 1 year ago | 1 comments
34. Paxos made simple (2001) [pdf] (lamport.azurewebsites.net)
    1 points by vinhnx 4 months ago | discuss
35. Logical and Vector Clock Implementation from Scratch (beyondthesyntax.substack.com)
    1 points by thunderbong over 1 year ago | discuss
36. Time, Clocks and the Ordering of Events in a Distributed System (1978) (lamport.azurewebsites.net)
    1 points by veqq over 1 year ago | discuss
37. Startup and Co-Founder Spouse
    8 points by lamportclock2 almost 2 years ago | 10 comments
38. Only 5 Sears stores remain in the U.S. (www.nytimes.com)
    99 points by bookofjoe 6 months ago | 114 comments
39. Hackers Steal MLB Star Kris Bryant's $200K Lamborghini by Rerouting Delivery (www.carscoops.com)
    37 points by rntn over 1 year ago | 19 comments
40. Man Asks $75M for 'Lambo.com,' Court Gives It to Lamborghini for Free (www.roadandtrack.com)
    27 points by kerim-ca 7 months ago | 25 comments
41. Looking for Keys Under the Lamppost (www.johndcook.com)
    10 points by zdw about 1 year ago | 5 comments
42. Lamborghini Carjackers Lured by $243M Cyberheist (krebsonsecurity.com)
    9 points by todsacerdoti over 1 year ago | 2 comments
43. Lamborghini cancels their multi-year EV project (www.engadget.com)
    7 points by dreadsword 5 months ago | 3 comments
44. Lamborghini's first EV is nearly ready – but are we? (www.theverge.com)
    6 points by rntn almost 2 years ago | 3 comments
45. Nathan Lambert Leaves Ai2 (Allen AI Institute) (twitter.com)
    6 points by pretext about 1 month ago | discuss
46. Lamborghini Carjackers Lured by $243M Cyberheist (krebsonsecurity.com)
    5 points by marban over 1 year ago | discuss
47. Stock Lamborghini Huracan Ticketed by NYC Noise Camera (autos.yahoo.com)
    4 points by geox almost 2 years ago | 9 comments