Hackernews posts about Lamport

1. The Future of TLA+ [pdf] (lamport.azurewebsites.net)
   195 points by tkhattra 23 days ago | 105 comments
2. Teaching Concurrency (2009) [pdf] (lamport.azurewebsites.net)
   3 points by todsacerdoti 25 days ago | discuss
3. Stock Lamborghini Huracan Ticketed by NYC Noise Camera (autos.yahoo.com)
   4 points by geox 22 days ago | 9 comments
4. New NLRB Ruling States Amazon DSP Drivers Are Employees, Not Contractors (labortoday.luel.us)
   2 points by wahnfrieden 18 days ago | discuss
5. US takes aim at Shein and Temu with new import rule proposal (www.theverge.com)
   24 points by elashri 7 days ago | 9 comments
6. The Importance of Remembering Forgotten Books (blog.archive.org)
   3 points by blueridge 2 days ago | 2 comments
7. Ears rarely open until a rapport is established (world.hey.com)
   3 points by Tomte 1 day ago | discuss
8. Brexit is 'stifling' exports and imports, report finds (www.ft.com)
   3 points by laktak 3 days ago | discuss
9. How Important Is a College Degree Compared to Experience? (2023) (hbr.org)
   2 points by mgh2 7 days ago | 7 comments
10. Quebec man who imported 26,630 fake $2 coins made in China gets jail time (globalnews.ca)
    2 points by phoenixreader 14 days ago | 4 comments
11. The importance of feeling understood in relationships (compass.onlinelibrary.wiley.com)
    2 points by yamrzou 7 days ago | 1 comments
12. High Agency: what is it, why is it important and how to cultivate it? (oxeancross.com)
    2 points by squircle 2 days ago | discuss
13. Detecting AI-written code: lessons on the importance of data quality (blog.scottlogic.com)
    2 points by ColinEberhardt 3 days ago | discuss
14. The most important problems in AI (brunothedev.github.io)
    2 points by brunothedev 3 days ago | discuss
15. The importance of stupidity in scientific research (2008) (journals.biologists.com)
    2 points by XzetaU8 14 days ago | discuss
16. Database of U.S. FDA import alerts (www.accessdata.fda.gov)
    1 points by nis0s about 2 hours ago | 1 comments
17. The Importance of Tech Docs (mfbmina.dev)
    1 points by subomi 8 days ago | discuss
18. Simplify the process of importing and migrating data to your format (www.datarisy.com)
    1 points by onkarjanwa89 12 days ago | discuss
19. CLI Tool to Solve Module import problems in C (github.com)
    1 points by mateusmoutinho 12 days ago | discuss
20. Importance, Value, and Causal Impact (brill.com)
    1 points by yamrzou 13 days ago | discuss
21. Show HN: Wealthfolio: Private, open-source investment tracker (wealthfolio.app)
    924 points by a-fadil 14 days ago | 263 comments
22. Show HN: Put this touch sensor on a robot and learn super precise tasks (any-skin.github.io)
    202 points by raunaqmb about 7 hours ago | 32 comments
23. Show HN: Visual DB – Web front end for your database (visualdb.com)
    170 points by visualdb 10 days ago | 52 comments
24. Show HN: Inngest 1.0 – Open-source durable workflows on every platform (www.inngest.com)
    106 points by tonyhb about 7 hours ago | 30 comments
25. Show HN: Universal Logger for Node, Deno, Bun, Browser (adzejs.com)
    51 points by ajstacy06 4 days ago | 24 comments
26. Launch HN: Cerebrium (YC W22) – Serverless Infrastructure Platform for ML/AI
    48 points by za_mike157 2 days ago | 32 comments
27. Show HN: NativeWindUI – Native Feeling TailwindUI for React Native (nativewindui.com)
    15 points by danstepanov 2 days ago | 4 comments
28. Show HN: Void - open source Cursor AI code editor (voideditor.com)
    13 points by andrewpareles 8 days ago | 8 comments
29. Ask HN: How did Mac and PC users react to the Amiga's multitasking in 1985?
    7 points by amichail 13 days ago | 8 comments
30. Show HN: Building a Real-Time AI Avatar for Coaching and Training Simulations (coaching.cerebrium.ai)
    6 points by cartesia 3 days ago | 1 comments