Leslie Lamport's "Claude, make no mistakes" hailed as predicting LLMs 30 years early
akbirthko · x · 2026-10-25
A meme celebrates Turing Award winner Leslie Lamport insisting specifications should be text, not math—"Claude, make no mistakes"—as having "preempted LLMs by 30 decades." The quoter argues this is just a hint that PLT, ATPs, and learning→search will hit "every field of Mind" as AI removes cognitive labor scarcity and technical artifact generation grows exponentially.
More from AGI Musings
- Epoch AI: Memory Chips Shipped Through 2027 Could Run 33–171 Million Frontier AI Agents — PeterDiamandis · 2026-10-25
- Academia's funding squeeze: should CS research focus on foundations, not scale? — nandofioretto · 2026-10-25
- 'Cope' meme thread mocks every common argument against AGI risk — tensorqt · 2026-10-25
- A 3-year AI pause could buy 1000 years of safety work — or just 41, critics model — gleech · 2026-10-25
- Cambridge lecturer's decade-long poll: demand for 'Uber for personal security' near zero, now shifting — SamuelAlbanie · 2026-10-25
- Fully automation-first: Shulman's view says explosive growth only comes after humans leave the loop — abhiadesai · 2026-10-25