Hackernews posts about Lamport

1. Drone-launching underwater drone hitches a ride on ship and sub hulls (newatlas.com)
   2 points by Brajeshwar 13 days ago | discuss
2. Silicon Valley can't import talent like before. So it's exporting jobs (restofworld.org)
   60 points by andrewstetsenko about 5 hours ago | 100 comments
3. Swift Import Declarations (nshipster.com)
   1 points by punkpeye about 7 hours ago | discuss
4. Thank HN: You helped save 33k lives
   1145 points by chaseadam17 6 days ago | 112 comments
5. Show HN: PgDog – Scale Postgres without changing the app (github.com)
   130 points by levkk about 6 hours ago | 32 comments
6. Show HN: Databasus v3.16.0 – new release of self-hosted PostgreSQL backup tool (github.com)
   3 points by rostislav_dugin 1 day ago | discuss
7. Show HN: I built a tool track cash flow without the "spreadsheet stress" (www.opboard.io)
   2 points by wwxoxo about 3 hours ago | 1 comments
8. Built an India-focused AI contract analyzer for ₹500 – here's what I learned
   1 points by Princelo 2 days ago | 1 comments
9. Show HN: MCP Apps for marathon runners, coaching with interactive charts (github.com)
   1 points by chenhunghan about 5 hours ago | discuss
10. Show HN: Vexp – Local-first context engine for AI coding agents
    1 points by nicola_alessi about 6 hours ago | discuss
11. Show HN:Panther – A Scripting Language Designed for Cybersecurity Workflows
    1 points by CzaxTanmay about 8 hours ago | discuss
12. Show HN: Attest – Test AI agents with 8-layer graduated assertions
    1 points by tommathews about 8 hours ago | discuss
13. Show HN: Fusion RSS Reader v1.0 release (github.com)
    1 points by rook1e_dev 1 day ago | discuss
14. Distributed Snapshots: Chandy-Lamport Protocol (blog.fponzi.me)
    72 points by federicoponzi over 1 year ago | 4 comments
15. TLA+ creator Leslie Lamport: 'Programmers need abstractions' (thenewstack.io)
    46 points by MilnerRoute 10 months ago | discuss
16. Lamport's Byzantine Generals Algorithm in Python (bytepawn.com)
    28 points by Maro 7 months ago | 1 comments
17. Leslie Lamport Retires (www.lamport.org)
    6 points by cocoa19 about 1 year ago | discuss
18. Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) (lamport.azurewebsites.net)
    4 points by sovietswag 2 months ago | discuss
19. How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf] (lamport.azurewebsites.net)
    3 points by nill0 12 months ago | discuss
20. Leslie Lamport: programming ≠ coding [video] (www.youtube.com)
    3 points by nequo over 1 year ago | discuss
21. Leslie Lamport: Thinking Above the Code (2014) [video] (www.youtube.com)
    2 points by tosh almost 2 years ago | discuss
22. LaTeX: A Document Preparation System by Leslie Lamport [pdf] (www.cs.ntua.gr)
    1 points by joebig almost 2 years ago | 1 comments
23. Leslie Lamport: The Man Who Revolutionized Computer Science with Math [video] (www.youtube.com)
    1 points by ColinWright about 1 year ago | discuss
24. Lamport on Byzantine Generals and Byzantine Failures (2020) [video] (www.youtube.com)
    1 points by karmakaze almost 2 years ago | discuss
25. Ask HN: Usefulness of formal verification (Coq) and formal specification (TLA+)?
    3 points by mnk47 almost 2 years ago | 1 comments
26. The Future of TLA+ [pdf] (lamport.azurewebsites.net)
    195 points by tkhattra over 1 year ago | 105 comments
27. Coding Isn't Programming (www.socallinuxexpo.org)
    155 points by todsacerdoti 11 months ago | 207 comments
28. A High-Level View of TLA+ (lamport.azurewebsites.net)
    92 points by blobcode 9 months ago | 19 comments
29. A Science of Concurrent Programs (final draft) (lamport.azurewebsites.net)
    77 points by lateforwork about 1 year ago | 3 comments
30. TLA+ Video Course (2021) (lamport.azurewebsites.net)
    32 points by Tomte 10 months ago | discuss
31. How to Write a 21st Century Proof (2011) [pdf] (lamport.azurewebsites.net)
    24 points by User23 2 months ago | 3 comments
32. Teaching Concurrency (2009) [pdf] (lamport.azurewebsites.net)
    3 points by todsacerdoti over 1 year ago | discuss
33. The Paxos Algorithm or How to Win a Turing Award (lamport.azurewebsites.net)
    3 points by sebg over 1 year ago | discuss
34. How to tell a program from an automobile (1977) [pdf] (lamport.azurewebsites.net)
    3 points by thunderbong almost 2 years ago | discuss
35. A Science of Concurrent Programs (lamport.azurewebsites.net)
    1 points by todsacerdoti over 1 year ago | 1 comments
36. Logical and Vector Clock Implementation from Scratch (beyondthesyntax.substack.com)
    1 points by thunderbong 12 months ago | discuss
37. Time, Clocks and the Ordering of Events in a Distributed System (1978) (lamport.azurewebsites.net)
    1 points by veqq about 1 year ago | discuss
38. Introduction to TLA+ (lamport.azurewebsites.net)
    1 points by lovestaco almost 2 years ago | discuss
39. Startup and Co-Founder Spouse
    8 points by lamportclock2 over 1 year ago | 10 comments
40. Only 5 Sears stores remain in the U.S. (www.nytimes.com)
    99 points by bookofjoe about 2 months ago | 114 comments
41. Show HN: PgDog – Shard Postgres without extensions (github.com)
    307 points by levkk 9 months ago | 80 comments
42. Ask HN: What is going to happen when AI services ban people?
    1 points by leetrout over 1 year ago | discuss