Hackernews posts about Lamport

1. Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) (lamport.azurewebsites.net)
   4 points by sovietswag 21 days ago | discuss
2. How to Write a 21st Century Proof (2011) [pdf] (lamport.azurewebsites.net)
   24 points by User23 22 days ago | 3 comments
3. Only 5 Sears stores remain in the U.S. (www.nytimes.com)
   99 points by bookofjoe 10 days ago | 114 comments
4. Working quickly is more important than it seems (2015) (jsomers.net)
   271 points by bschne 23 days ago | 130 comments
5. India's Jan Russian oil imports may fall sharply; Reliance expects no deliveries (www.reuters.com)
   3 points by JumpCrisscross about 11 hours ago | discuss
6. When the AI bubble pops, Nvidia becomes the most important software co overnight (www.theregister.com)
   3 points by coloneltcb 7 days ago | discuss
7. The importance of Agent Harness in 2026 (www.philschmid.de)
   2 points by amrrs 1 day ago | discuss
8. Tell HN: Merry Christmas
   1958 points by basilikum 13 days ago | 430 comments
9. Ask HN: What skills do you want to develop or improve in 2026?
   272 points by meridion 12 days ago | 416 comments
10. Show HN: Stop Claude Code from forgetting everything (github.com)
    202 points by austinbaggio 8 days ago | 227 comments
11. Stronk.app – open-source gym lifts journal
    65 points by apatheticonion 14 days ago | 30 comments
12. Tell HN: I write and ship code ~20–50x faster than I did 5 years ago
    54 points by EGreg 7 days ago | 86 comments
13. Ask HN: What did you learn in 2025?
    18 points by kiernanmcgowan 3 days ago | 7 comments
14. Tell HN: The US NE Weather Service to end technical Area Forecast Discussions
    8 points by sklargh 4 days ago | 1 comments
15. Show HN: CloudSlash – Find AWS waste and generate Terraform state rm commands
    5 points by drskyle 2 days ago | discuss
16. Ask HN: Rules for a desirable, non-toxic and less exploitable social platform?
    4 points by patresh 19 days ago | 5 comments
17. Ask HN: How do small teams make sure recurring tasks don't slip?
    4 points by batels about 15 hours ago | 2 comments
18. Somebody Build This
    3 points by Caritaspax 2 days ago | 4 comments
19. Show HN: Doo – Generate auth and CRUD APIs from struct definitions (github.com)
    3 points by nynrathod about 9 hours ago | 1 comments
20. Ask HN: Thoughts on US drone industry after Chinese production ban
    2 points by guywithahat 10 days ago | 4 comments
21. What Selling on Facebook Marketplace Taught Me About Bad Credit and False Demand
    2 points by mvelez234 1 day ago | 3 comments
22. Show HN: Sentience – Semantic Visual Grounding for AI Agents (WASM and ONNX)
    2 points by tonyww about 9 hours ago | 1 comments
23. Show HN: I built a visual, MLOps tool (Skyulf) (www.skyulf.com)
    2 points by flyingriverhrse about 5 hours ago | discuss
24. Show HN: 9×9 goal grid for multitaskers (No back end, No login, No Cost) (www.atharvashah.com)
    2 points by atharvashah about 9 hours ago | discuss
25. Show HN: Ledger – A private workspace for Engineering Managers (www.l3dger.com)
    2 points by caiobzen about 10 hours ago | discuss
26. Show HN: PonderTTT – Training-free adaptive compute for LLMs via TTT gating (ponderttt.worldsw.dev)
    2 points by deveworld about 10 hours ago | discuss
27. Show HN: Bank Parser – Convert Chase/Boa PDFs to QuickBooks Excel (99% Accuracy) (bank-parser.com)
    2 points by zetbaur 2 days ago | discuss
28. Can LLMs stop when producing any output violates their own rules?
    1 points by Sofi_blackbox 13 days ago | 3 comments
29. Show HN: Boxwerk – Ruby package system with Box-powered constant isolation (github.com)
    1 points by dtcristo 1 day ago | 1 comments
30. Show HN: I built an AI that gives verifiable answers (getcitedai.com)
    1 points by collin1 about 12 hours ago | discuss