Type theory researcher tells critics who called verification research useless to admit they were wrong
amplifiedamp · x · 2026-11-10
TaliaRinger, a well-known researcher in formal methods and type theory, says the people who mocked verification and type theory research as useless for years should now admit they were wrong — and maybe apologize for being mean while being wrong — as AI code generation makes formal verification newly relevant.
More from AGI Musings
- 1985 Whole Earth Review cover: "Computers as Poison" mirrors today's AI debates — beffjezos · 2026-11-10
- A decade of Cambridge students now run FAR AI, METR, UK AISI and GovAI — S_OhEigeartaigh · 2026-11-10
- Comic argues AI scientists will write the next chapter of science, not humans — YogeshMalik · 2026-11-10
- "Alignment" is semantically overloaded — taboo the word to argue clearly — Sauers_ · 2026-11-10
- Creator vows to quit AI-generated content: 'AI really feels like AI, not human' — Abhishekcur · 2026-11-10
- doty clarifies the scaling debate: the point is against hardcoding human priors, not abandoning algorithms — dotey · 2026-11-10