Formal methods community's embrace of AI: automated verification was always the dream
jefrankle · x · 2026-10-23
In a quoted post, mcarbin argues the formal methods / PL / compilers community has different motivations for adopting AI: automated verification, programming, and compilation have long been that community's dream, and seeing these systems used at scale is exciting — a mindset closer to that of NN researchers.
More from AGI Musings
- Building agents is commoditizing: domain know-how and tooling are what matter now — dotey · 2026-10-23
- The ChatGPT Moment for Robotics: Autonomous Vehicles to Hit ~16M by 2026 — Rewkang · 2026-10-23
- Can models be literally insane? A Reddit thought experiment on accidentally psychopathic AI — rapPayne · 2026-10-23
- UnHerd essay: AI doomerism's proposed controls would be dystopian surveillance — DrTechlash · 2026-10-23
- Benjamin Bratton interview: rethinking human intelligence and agency — bratton · 2026-10-23
- A Claude-generated table of AI doom factors sparks debate on intuition vs knowledge — alexisgallagher · 2026-10-23