Hackernews posts about Lamport

1. A Science of Concurrent Programs (lamport.azurewebsites.net)
   1 points by todsacerdoti 17 days ago | 1 comments
2. Hackers Steal MLB Star Kris Bryant's $200K Lamborghini by Rerouting Delivery (www.carscoops.com)
   36 points by rntn 4 days ago | 19 comments
3. Show HN: I built a(nother) house optimized for LAN parties (lanparty.house)
   1096 points by kentonv 7 days ago | 379 comments
4. Important information to all residents of Sweden – In case of crisis or war [pdf] (rib.msb.se)
   93 points by sndean 4 days ago | 36 comments
5. Ask HN: What Are Your Most Important Software Testing Ideas and Practices?
   6 points by vednig 7 days ago | 11 comments
6. The Most Important Economic Concept No One Understands [video] (www.youtube.com)
   4 points by mooreds 2 days ago | 2 comments
7. Deno 2.1: WASM Imports and other enhancements (LTS released) (deno.com)
   3 points by olestr 1 day ago | discuss
8. Show HN: Import NBA Team's Schedule into Todoist (nba-todoist-import.vercel.app)
   1 points by niknat 1 day ago | discuss
9. Show HN: FastGraphRAG – Better RAG using good old PageRank (github.com)
   451 points by liukidar 5 days ago | 119 comments
10. Show HN: Assindo – [Android] AI Assistant to handle your phone calls (play.google.com)
    12 points by assindo 2 days ago | 16 comments
11. Ask HN: Why are so many people in tech in denial about AI?
    7 points by arisAlexis 22 days ago | 50 comments
12. Ask HN: Is specializing in these cybersec domains a good direction to take?
    1 points by dead_on_arival about 4 hours ago | 3 comments
13. Show HN: Angus TV+ – Track What You Watch, Share, and Save on Streaming (tv.angus.plus)
    1 points by true_pk about 3 hours ago | 1 comments
14. Show HN: API to Use NotebookLM Programmatically (autocontentapi.com)
    1 points by mpieras 1 day ago | discuss
15. Tell HN: Lemon squeezy's Slack channel is shutting down
    1 points by ezero 1 day ago | discuss
16. Documentation Is Product (langfuse.com)
    8 points by JannikM 2 days ago | discuss
17. Why the next leaps towards AGI may be "born secret" (roadtoartificia.com)
    23 points by jlaporte about 19 hours ago | 12 comments
18. Lamport Clocks (blog.fponzi.me)
    113 points by thunderbong 10 months ago | 6 comments
19. Lamport's Bakery algorithm, demonstrated in Python (github.com)
    106 points by eigenvalue 10 months ago | 30 comments
20. Distributed Snapshots: Chandy-Lamport Protocol (blog.fponzi.me)
    72 points by federicoponzi 6 months ago | 4 comments
21. Leslie Lamport’s TLA+ Online Course (2018) [video] (www.youtube.com)
    16 points by nequo over 1 year ago | 1 comments
22. Lamport on “Time, Clocks, and Ordering of Events in a Distributed System” (2020) (www.youtube.com)
    4 points by TechBro8615 over 1 year ago | discuss
23. Leslie Lamport: programming ≠ coding [video] (www.youtube.com)
    3 points by nequo 6 months ago | discuss
24. Thinking outside the box of code with Leslie Lamport (changelog.com)
    3 points by signa11 over 1 year ago | discuss
25. Specifying Systems by Leslie Lamport (lamport.azurewebsites.net)
    3 points by cristoperb over 1 year ago | discuss
26. Leslie Lamport's TLA+ Video Course (www.youtube.com)
    3 points by alexzeitler over 1 year ago | discuss
27. LaTeX: A Gift to Scientific Publishing from Leslie Lamport (www.cantorsparadise.com)
    3 points by areeba_merriam almost 2 years ago | discuss
28. Leslie Lamport: The Byzantine Generals Problem (1982) (www.microsoft.com)
    3 points by simonebrunozzi almost 2 years ago | discuss
29. Leslie Lamport: Thinking Above the Code (2014) [video] (www.youtube.com)
    2 points by tosh 7 months ago | discuss
30. Lamport Clocks (blog.fponzi.me)
    2 points by federicoponzi 10 months ago | discuss
31. LaTeX: A Document Preparation System by Leslie Lamport [pdf] (www.cs.ntua.gr)
    1 points by joebig 9 months ago | 1 comments
32. Lamport on Byzantine Generals and Byzantine Failures (2020) [video] (www.youtube.com)
    1 points by karmakaze 8 months ago | discuss
33. Lamport Timestamp (en.wikipedia.org)
    1 points by thunderbong 10 months ago | discuss
34. Thinking outside the box of code with Leslie Lamport (changelog.com)
    1 points by ibraheemdev over 1 year ago | discuss
35. Distributing Lamport’s bakery with Automerge, and a touch of TLA+ (medium.com)
    1 points by lukastyrychtr over 1 year ago | discuss
36. Show HN: Arroyo – Write SQL on streaming data (github.com)
    115 points by necubi over 1 year ago | 32 comments
37. Ask HN: Usefulness of formal verification (Coq) and formal specification (TLA+)?
    3 points by mnk47 8 months ago | 1 comments
38. Ask HN: Any good podcasts to summarize seminal papers in distributed systems?
    1 points by mihirmp 11 months ago | discuss
39. Ask HN: How you understand TLA+ and how you use TLA+ in your projects?
    1 points by 8ed30dc over 1 year ago | discuss
40. Ask HN: Where do breakthroughs in computer science come from?
    1 points by nwah1 almost 2 years ago | discuss
41. The Future of TLA+ [pdf] (lamport.azurewebsites.net)
    195 points by tkhattra 3 months ago | 105 comments
42. A Science of Concurrent Programs [pdf] (lamport.azurewebsites.net)
    187 points by paulolc 11 months ago | 33 comments
43. Computation and State Machines (2008) [pdf] (lamport.azurewebsites.net)
    80 points by Jtsummers over 1 year ago | 37 comments
44. A Science of Concurrent Programs – draft (2024) [pdf] (lamport.azurewebsites.net)
    11 points by mirzap 11 months ago | discuss
45. Document Production: Visual or Logical? (1987) [pdf] (lamport.azurewebsites.net)
    10 points by pncnmnp over 1 year ago | 1 comments
46. Time, Clocks, and the Ordering of Events in a Distributed System (1978) [pdf] (cs.nyu.edu)
    3 points by LAC-Tech almost 2 years ago | 1 comments
47. Teaching Concurrency (2009) [pdf] (lamport.azurewebsites.net)
    3 points by todsacerdoti 3 months ago | discuss