Harmonic predicts all code will be formally verified within two years
TZahavy · x · 2026-11-06
Harmonic, the AI math company, makes a bold prediction: within two years, all code will be formally verified — a bet that formal methods become the default as AI-generated code scales.
More from coding & agent
- Dev essay: why a runaway intelligence explosion isn't the risk — 'early onset decoherence' is — round · 2026-11-06
- Sardine launches Know Your Human protocol to verify humans behind shopping agents — astrange · 2026-11-06
- Indie dev cuts 5,672 lines rebuilding trip planner's Days screen into one-drag editing — SeanOliver · 2026-11-06
- LangChain details optimizing browser use for deep agents; design agent fixes its own blog formatting — LangChain · 2026-11-06
- Baker Lab + NVIDIA unveil RFD4-Proteina: agents run protein design tool calls on GFP — AllThingsApx · 2026-11-06
- New Compound Writing skill PR lands on GitHub, pending testing before merge — kieranklaassen · 2026-11-06