Talia Ringer: Ignore Those Who Dismiss Entire Fields Because They Are Hard
danbri · x · 2026-10-23
Republishing Talia Ringer's reflection: for 10+ years people told her proof assistants would never see widespread use and her work was useless. Her message to researchers: ignore those who discount entire fields of research because they are hard — it's all the more motivation to keep going.
More from AGI Musings
- Grady Booch revives Weinberg's 1971 quip: software so buggy one woodpecker could destroy civilization — Grady_Booch · 2026-10-23
- Why Netflix keeps losing to YouTube: UGC platforms professionalize easier than pro platforms go casual — ZeroStateReflex · 2026-10-23
- AI killed the coding moat: indie devs now compete on demand and distribution — sven_ai · 2026-10-23
- DynaVelo, a neural ODE model of single-cell dynamics, published in Nature Biotechnology — anshulkundaje · 2026-10-23
- Beff Jezos: Only frontier labs out-accelerating open source can secure systems — beffjezos · 2026-10-23
- 'I don't want to live in that world': a Redditor on why AGI utopia feels meaningless — peace_venerable · 2026-10-23