Hackernews posts about Lamport

1. Show HN: Kromacut – Open-source tool for multi-color 3D prints from images (github.com)
   2 points by vycdev 27 days ago | discuss
2. Show HN: Gaussian splatting for real estate promotion (lamotte-laturballe.see-around.app)
   2 points by dezmou about 13 hours ago | 4 comments
3. How I started with repairs (posts.joedmin.cz)
   1 points by lapity_lapoty 17 days ago | discuss
4. The Importance of Being Idle (theamericanscholar.org)
   301 points by Caiero 3 days ago | 188 comments
5. I imported the full Linux kernel git history into pgit (oseifert.ch)
   162 points by ImGajeed76 5 days ago | 43 comments
6. Record wind and solar saved UK from gas imports worth £1B in March 2026 (www.carbonbrief.org)
   119 points by mindracer 3 days ago | 129 comments
7. Apple signs meaningless deal to make some less-important parts in America (www.theregister.com)
   35 points by als0 about 11 hours ago | 16 comments
8. Show HN: I built a frontpage for personal blogs (text.blogosphere.app)
   781 points by ramkarthikk 7 days ago | 195 comments
9. Show HN: Han – A Korean programming language written in Rust (github.com)
   208 points by xodn348 26 days ago | 116 comments
10. Show HN: BAREmail – minimalist Gmail client for bad WiFi (github.com)
    44 points by Virgo_matt 1 day ago | 43 comments
11. Hybrid Attention
    40 points by JohannaAlmeida 2 days ago | 9 comments
12. Show HN: AdaShape-3D modeler for intuitive 3D printing parts / Windows 11 (adashape.com)
    32 points by fsloth 6 days ago | 31 comments
13. Ask HN: Should AI credits be refunded on mistakes?
    16 points by ed_elliott_asc 1 day ago | 16 comments
14. Show HN: I built a local data lake for AI powered data engineering and analytics (stream-sock-3f5.notion.site)
    12 points by vpfaiz 1 day ago | 8 comments
15. Show HN: Render Workflows – Durable task orchestration without queues or workers (render.com)
    6 points by anurag about 8 hours ago | discuss
16. Show HN: Sigil – A new programming language for AI agents
    5 points by inerte 4 days ago | 5 comments
17. Show HN: Linear RNN/Reservoir hybrid generative model, one C file (no deps.) (raw.githubusercontent.com)
    3 points by adinhitlore about 3 hours ago | 2 comments
18. Ask HN: We got 100 stars. A weekend project got 12k. What are we missing?
    2 points by lilwing 1 day ago | 15 comments
19. Show HN: SweatDiary – simple workout journal, native iOS and macOS app (sweatdiary.app)
    1 points by frooto443 about 9 hours ago | 1 comments
20. America's AI Build-Out Hinges on Chinese Electrical Parts (www.bloomberg.com)
    5 points by doener about 19 hours ago | 1 comments
21. How rain fences are making Dutch homes more climate resilient (www.theguardian.com)
    2 points by alamortsubite about 8 hours ago | discuss
22. Distributed Snapshots: Chandy-Lamport Protocol (blog.fponzi.me)
    72 points by federicoponzi almost 2 years ago | 4 comments
23. TLA+ creator Leslie Lamport: 'Programmers need abstractions' (thenewstack.io)
    46 points by MilnerRoute 11 months ago | discuss
24. Lamport's Byzantine Generals Algorithm in Python (bytepawn.com)
    28 points by Maro 8 months ago | 1 comments
25. Leslie Lamport Retires (www.lamport.org)
    6 points by cocoa19 over 1 year ago | discuss
26. Programming ≠ coding – Leslie Lamport [video] (www.youtube.com)
    4 points by max_ about 1 month ago | discuss
27. Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) (lamport.azurewebsites.net)
    4 points by sovietswag 4 months ago | discuss
28. How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf] (lamport.azurewebsites.net)
    3 points by nill0 about 1 year ago | discuss
29. Leslie Lamport: programming ≠ coding [video] (www.youtube.com)
    3 points by nequo almost 2 years ago | discuss
30. Leslie Lamport: Thinking Above the Code (2014) [video] (www.youtube.com)
    2 points by tosh almost 2 years ago | discuss
31. Leslie Lamport: The Man Who Revolutionized Computer Science with Math [video] (www.youtube.com)
    1 points by ColinWright about 1 year ago | discuss
32. The Future of TLA+ [pdf] (lamport.azurewebsites.net)
    195 points by tkhattra over 1 year ago | 105 comments
33. Coding Isn't Programming (www.socallinuxexpo.org)
    155 points by todsacerdoti about 1 year ago | 207 comments
34. A High-Level View of TLA+ (lamport.azurewebsites.net)
    92 points by blobcode 10 months ago | 19 comments
35. A Science of Concurrent Programs (final draft) (lamport.azurewebsites.net)
    77 points by lateforwork over 1 year ago | 3 comments
36. TLA+ Video Course (2021) (lamport.azurewebsites.net)
    32 points by Tomte 11 months ago | discuss
37. How to Write a 21st Century Proof (2011) [pdf] (lamport.azurewebsites.net)
    24 points by User23 4 months ago | 3 comments
38. Teaching Concurrency (2009) [pdf] (lamport.azurewebsites.net)
    3 points by todsacerdoti over 1 year ago | discuss
39. The Paxos Algorithm or How to Win a Turing Award (lamport.azurewebsites.net)
    3 points by sebg almost 2 years ago | discuss
40. How to tell a program from an automobile (1977) [pdf] (lamport.azurewebsites.net)
    3 points by thunderbong almost 2 years ago | discuss
41. A Science of Concurrent Programs (lamport.azurewebsites.net)
    1 points by todsacerdoti over 1 year ago | 1 comments
42. Paxos made simple (2001) [pdf] (lamport.azurewebsites.net)
    1 points by vinhnx about 1 month ago | discuss
43. Logical and Vector Clock Implementation from Scratch (beyondthesyntax.substack.com)
    1 points by thunderbong about 1 year ago | discuss
44. Time, Clocks and the Ordering of Events in a Distributed System (1978) (lamport.azurewebsites.net)
    1 points by veqq over 1 year ago | discuss
45. Introduction to TLA+ (lamport.azurewebsites.net)
    1 points by lovestaco almost 2 years ago | discuss
46. Startup and Co-Founder Spouse
    8 points by lamportclock2 over 1 year ago | 10 comments
47. Only 5 Sears stores remain in the U.S. (www.nytimes.com)
    99 points by bookofjoe 3 months ago | 114 comments
48. Show HN: Ten years of running every day, visualized (nodaysoff.run)
    958 points by friggeri 9 months ago | 495 comments
49. Show HN: RowboatX – open-source Claude Code for everyday automations (github.com)
    131 points by segmenta 5 months ago | 42 comments
50. Ask HN: Codex is too slow. Is there any solution?
    6 points by rule2025 6 months ago | 6 comments