Why LLMs dissolve the long-standing barriers to formally verified software
teortaxesTex · x · 2026-10-23
jdpressman's thread argues the classic barriers to formally verified software are mostly irrelevant in the LLM era.
- Complexity isn't the real obstacle: formally verified OS kernels already exist and exercise essentially every computational primitive used in practice in complex systems.
- The difficulty has mostly been labor — exactly what LLMs are best positioned to eliminate.
More from coding & agent
- Founder runs 1 chief-of-staff agent plus 5 agents to run his entire ops — tibo_maker · 2026-10-23
- Dev open-sources daily updater script that uses LLMs to catch update failures — aronchick · 2026-10-23
- IRCTC already offers a native 'Agent Login Using OTP' option for automated agents — kingslyj · 2026-10-23
- Open-source doc parsing model OXR hits SOTA with 1.3B params and RSI post-training — JaynitMakwana · 2026-10-23
- Snipaya MCP: Let Your Agent Annotate and Redact Mac Screenshots with 28 Tools — ydrus · 2026-10-23
- Dev ships userscript to bring back ChatGPT's old conversation table of contents — TonyHMeow · 2026-10-23