Hackernews posts about Lamport

1. Swatch sells watch lampooning Trump's 39% tariffs on Switzerland (www.reuters.com)
   4 points by giuliomagnifico 25 days ago | discuss
2. The Lamborghini of APC's: IDF's Eitan (www.ynetnews.com)
   3 points by datelligence 14 days ago | 1 comments
3. Lamprey (en.wikipedia.org)
   2 points by tosh 25 days ago | discuss
4. PEP 810 – Explicit lazy imports (peps.python.org)
   427 points by azhenley 5 days ago | 240 comments
5. U.S. Army confirms Tesla Cybertruck can't be imported in Europe (electrek.co)
   84 points by reaperducer 8 days ago | 88 comments
6. Devenv 1.10: monorepo Nix support with devenv.yaml imports (devenv.sh)
   3 points by domenkozar about 21 hours ago | discuss
7. Are soaring gold prices telling us something important? (paulkrugman.substack.com)
   1 points by treadump about 2 hours ago | discuss
8. Ask HN: Went to prison for 18 months, lost access to my GitHub. What can I do?
   102 points by joshmn 6 days ago | 93 comments
9. Launch HN: Grapevine (YC S19) – A company GPT that actually works (getgrapevine.ai)
   72 points by eambutu 2 days ago | 60 comments
10. What modern programming feels like
    15 points by phoehne about 12 hours ago | 1 comments
11. Show HN: FizzBee – Formal Model based autonomous testing (fizzbee.io)
    13 points by jayaprabhakar about 22 hours ago | 6 comments
12. Show HN: I'm building a Google Calendar tool to plan backwards from key events (reverse-scheduler.vercel.app)
    3 points by benz145 about 23 hours ago | discuss
13. Show HN: I built a simple, priority-driven productivity app (priotime.app)
    2 points by quantummint about 14 hours ago | discuss
14. Seeking advice on a licensing gray area: "Derivative work" or not?
    1 points by ototsu_yume 1 day ago | 2 comments
15. Show HN: Tilly – An Open Source Relationship Journal I Actually Use (github.com)
    1 points by ccssmnn 2 minutes ago | discuss
16. Show HN: RoomYou – A Sensor for Indoor Wellbeing
    1 points by jillekuipers about 10 hours ago | discuss
17. Show HN: PrioTimeApp – a simple, priority-driven productivity app (priotime.app)
    1 points by quantummint 1 day ago | discuss
18. How to Get Your Kids into Stem Even When Its Future Is Uncertain (www.wired.com)
    2 points by Brajeshwar 1 day ago | discuss
19. Lamport Clocks (blog.fponzi.me)
    113 points by thunderbong over 1 year ago | 6 comments
20. Lamport's Bakery algorithm, demonstrated in Python (github.com)
    106 points by eigenvalue over 1 year ago | 30 comments
21. Distributed Snapshots: Chandy-Lamport Protocol (blog.fponzi.me)
    72 points by federicoponzi over 1 year ago | 4 comments
22. TLA+ creator Leslie Lamport: 'Programmers need abstractions' (thenewstack.io)
    46 points by MilnerRoute 5 months ago | discuss
23. Lamport's Byzantine Generals Algorithm in Python (bytepawn.com)
    28 points by Maro 2 months ago | 1 comments
24. Leslie Lamport Retires (www.lamport.org)
    6 points by cocoa19 9 months ago | discuss
25. How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf] (lamport.azurewebsites.net)
    3 points by nill0 7 months ago | discuss
26. Leslie Lamport: programming ≠ coding [video] (www.youtube.com)
    3 points by nequo over 1 year ago | discuss
27. Leslie Lamport: Thinking Above the Code (2014) [video] (www.youtube.com)
    2 points by tosh over 1 year ago | discuss
28. Lamport Clocks (blog.fponzi.me)
    2 points by federicoponzi over 1 year ago | discuss
29. LaTeX: A Document Preparation System by Leslie Lamport [pdf] (www.cs.ntua.gr)
    1 points by joebig over 1 year ago | 1 comments
30. Leslie Lamport: The Man Who Revolutionized Computer Science with Math [video] (www.youtube.com)
    1 points by ColinWright 8 months ago | discuss
31. Lamport on Byzantine Generals and Byzantine Failures (2020) [video] (www.youtube.com)
    1 points by karmakaze over 1 year ago | discuss
32. Lamport Timestamp (en.wikipedia.org)
    1 points by thunderbong over 1 year ago | discuss
33. Ask HN: Usefulness of formal verification (Coq) and formal specification (TLA+)?
    3 points by mnk47 over 1 year ago | 1 comments
34. Ask HN: Any good podcasts to summarize seminal papers in distributed systems?
    1 points by mihirmp almost 2 years ago | discuss
35. The Future of TLA+ [pdf] (lamport.azurewebsites.net)
    195 points by tkhattra about 1 year ago | 105 comments
36. A Science of Concurrent Programs [pdf] (lamport.azurewebsites.net)
    187 points by paulolc almost 2 years ago | 33 comments
37. Coding Isn't Programming (www.socallinuxexpo.org)
    155 points by todsacerdoti 7 months ago | 207 comments
38. A High-Level View of TLA+ (lamport.azurewebsites.net)
    92 points by blobcode 4 months ago | 19 comments
39. A Science of Concurrent Programs (final draft) (lamport.azurewebsites.net)
    77 points by lateforwork 10 months ago | 3 comments
40. TLA+ Video Course (2021) (lamport.azurewebsites.net)
    32 points by Tomte 5 months ago | discuss
41. A Science of Concurrent Programs – draft (2024) [pdf] (lamport.azurewebsites.net)
    11 points by mirzap almost 2 years ago | discuss
42. Teaching Concurrency (2009) [pdf] (lamport.azurewebsites.net)
    3 points by todsacerdoti about 1 year ago | discuss
43. The Paxos Algorithm or How to Win a Turing Award (lamport.azurewebsites.net)
    3 points by sebg over 1 year ago | discuss
44. How to tell a program from an automobile (1977) [pdf] (lamport.azurewebsites.net)
    3 points by thunderbong over 1 year ago | discuss
45. A Science of Concurrent Programs (lamport.azurewebsites.net)
    1 points by todsacerdoti 11 months ago | 1 comments
46. Logical and Vector Clock Implementation from Scratch (beyondthesyntax.substack.com)
    1 points by thunderbong 7 months ago | discuss
47. Time, Clocks and the Ordering of Events in a Distributed System (1978) (lamport.azurewebsites.net)
    1 points by veqq 10 months ago | discuss
48. Introduction to TLA+ (lamport.azurewebsites.net)
    1 points by lovestaco over 1 year ago | discuss