Hackernews posts about Lamport
Related:
Python
- Leslie Lamport's Annotated Writings (creator of LaTeX, TLA+, Paxos) (lamport.azurewebsites.net)
- How to Write a 21st Century Proof (2011) [pdf] (lamport.azurewebsites.net)
- Only 5 Sears stores remain in the U.S. (www.nytimes.com)
- Working quickly is more important than it seems (2015) (jsomers.net)
- When the AI bubble pops, Nvidia becomes the most important software co overnight (www.theregister.com)
- The importance of Agent Harness in 2026 (www.philschmid.de)
- Show HN: Stop Claude Code from forgetting everything (github.com)
- Show HN: I built a visual, MLOps tool (Skyulf) (www.skyulf.com)
- Show HN: 9×9 goal grid for multitaskers (No back end, No login, No Cost) (www.atharvashah.com)
- Show HN: Ledger – A private workspace for Engineering Managers (www.l3dger.com)
- Show HN: PonderTTT – Training-free adaptive compute for LLMs via TTT gating (ponderttt.worldsw.dev)
- Show HN: I built an AI that gives verifiable answers (getcitedai.com)