Hackernews posts about Lamport

1. Why Computer Scientists Don't Learn Math (2017) (lamport.azurewebsites.net)
   4 points by tosh 18 days ago | 1 comments
2. Self-destructing $2k Nvidia chips for distributed solar data ctrs in lampposts (www.techradar.com)
   3 points by toss1 10 days ago | discuss
3. An oral history of the Harvard Lampoon (www.washingtonpost.com)
   3 points by raldi 30 days ago | discuss
4. UK firm aims to build 'data centre' using 50k lampposts in Nigeria (www.bbc.co.uk)
   2 points by ColinWright 16 days ago | discuss
5. UK firm pioneers data centres using lampposts (www.bbc.com)
   2 points by 1659447091 23 days ago | discuss
6. Comparing Objective Caml and Standard ML (adam.chlipala.net)
   14 points by lambertsimnel 4 days ago | 2 comments
7. Hyperpolyglot ML Dialects and Haskell: SML, OCaml, F#, Haskell (hyperpolyglot.org)
   2 points by lambertsimnel 6 days ago | discuss
8. Show HN: Superlog (YC P26) – Observability that installs itself and fixes bugs (superlog.sh)
   73 points by Magnanten 6 days ago | 49 comments
9. Distributed Snapshots: Chandy-Lamport Protocol (blog.fponzi.me)
   72 points by federicoponzi almost 2 years ago | 4 comments
10. TLA+ creator Leslie Lamport: 'Programmers need abstractions' (thenewstack.io)
    46 points by MilnerRoute about 1 year ago | discuss
11. Lamport's Byzantine Generals Algorithm in Python (bytepawn.com)
    28 points by Maro 10 months ago | 1 comments
12. Leslie Lamport Retires (www.lamport.org)
    6 points by cocoa19 over 1 year ago | discuss
13. Programming ≠ coding – Leslie Lamport [video] (www.youtube.com)
    4 points by max_ 3 months ago | discuss
14. Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) (lamport.azurewebsites.net)
    4 points by sovietswag 5 months ago | discuss
15. How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf] (lamport.azurewebsites.net)
    3 points by nill0 about 1 year ago | discuss
16. Leslie Lamport: programming ≠ coding [video] (www.youtube.com)
    3 points by nequo almost 2 years ago | discuss
17. Leslie Lamport: The Man Who Revolutionized Computer Science with Math [video] (www.youtube.com)
    1 points by ColinWright over 1 year ago | discuss
18. The Future of TLA+ [pdf] (lamport.azurewebsites.net)
    195 points by tkhattra over 1 year ago | 105 comments
19. Coding Isn't Programming (www.socallinuxexpo.org)
    155 points by todsacerdoti about 1 year ago | 207 comments
20. A High-Level View of TLA+ (lamport.azurewebsites.net)
    92 points by blobcode 12 months ago | 19 comments
21. A Science of Concurrent Programs (final draft) (lamport.azurewebsites.net)
    77 points by lateforwork over 1 year ago | 3 comments
22. TLA+ Video Course (2021) (lamport.azurewebsites.net)
    32 points by Tomte about 1 year ago | discuss
23. How to Write a 21st Century Proof (2011) [pdf] (lamport.azurewebsites.net)
    24 points by User23 5 months ago | 3 comments
24. Teaching Concurrency (2009) [pdf] (lamport.azurewebsites.net)
    3 points by todsacerdoti over 1 year ago | discuss
25. The Paxos Algorithm or How to Win a Turing Award (lamport.azurewebsites.net)
    3 points by sebg almost 2 years ago | discuss
26. A Science of Concurrent Programs (lamport.azurewebsites.net)
    1 points by todsacerdoti over 1 year ago | 1 comments
27. Paxos made simple (2001) [pdf] (lamport.azurewebsites.net)
    1 points by vinhnx 3 months ago | discuss
28. Logical and Vector Clock Implementation from Scratch (beyondthesyntax.substack.com)
    1 points by thunderbong about 1 year ago | discuss
29. Time, Clocks and the Ordering of Events in a Distributed System (1978) (lamport.azurewebsites.net)
    1 points by veqq over 1 year ago | discuss
30. Startup and Co-Founder Spouse
    8 points by lamportclock2 over 1 year ago | 10 comments
31. Only 5 Sears stores remain in the U.S. (www.nytimes.com)
    99 points by bookofjoe 5 months ago | 114 comments
32. 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
33. Man Asks $75M for 'Lambo.com,' Court Gives It to Lamborghini for Free (www.roadandtrack.com)
    27 points by kerim-ca 6 months ago | 25 comments
34. Looking for Keys Under the Lamppost (www.johndcook.com)
    10 points by zdw 12 months ago | 5 comments
35. Lamborghini Carjackers Lured by $243M Cyberheist (krebsonsecurity.com)
    9 points by todsacerdoti over 1 year ago | 2 comments
36. Lamborghini cancels their multi-year EV project (www.engadget.com)
    7 points by dreadsword 3 months ago | 3 comments
37. Lamborghini's first EV is nearly ready – but are we? (www.theverge.com)
    6 points by rntn almost 2 years ago | 3 comments
38. Lamborghini Carjackers Lured by $243M Cyberheist (krebsonsecurity.com)
    5 points by marban over 1 year ago | discuss