Reading / 2026-06/2026-06-15t021106-formal-methods-and-the-future-of-programming
Formal Methods and the Future of Programming
Jane Street's Yaron Minsky argues that agentic coding has made formal methods newly cost-effective — both by lowering the cost of writing proofs and by creating urgent demand for verification tools that go beyond what tests alone can provide.
Jun 15, 2026 · tech · Yaron Minsky, Jane Street Blog
Topics
- software-engineering
- ai-assisted-coding
- agentic-workflows
- reliability
- engineering-craft
Cited by
- Agentic workflows
Systems where AI agents execute multi-step tasks autonomously, raising interconnected questions about harness architecture, state management, reliability engineering, human oversight, and the organizational context those agents operate within.
- AI-assisted coding
Using LLMs as coding collaborators spans a spectrum from inline suggestion to fully autonomous multi-agent pipelines, with active debate about reliability, skill atrophy, security exposure, and what human oversight must remain.
- Engineering craft
Engineering craft is the accumulated discipline of writing, organizing, and maintaining software well — spanning code design, tooling fluency, communication, and the judgment to know when technical excellence actually changes outcomes.
- Reliability
Reliability in software systems is achieved through structural constraints and environmental design rather than prompting, validation, or testing alone, as sources from agent engineering to durable execution consistently show.
- Software engineering
Software engineering spans craft, process, and judgment — how code is structured, tested, reviewed, deployed, and maintained — and the sources collected here collectively interrogate each layer as AI tooling reshapes who does what and why.
Related
- Your agent loves MCP as much as you love GUIstopic
- Building a UI Without Breakpointstopic
- Modern Fluid Typography Using CSS Clamptopic
- databricks-solutions/ai-dev-kittopic
- Scaling Managed Agents: Decoupling the Brain from the Handstopic
- Don't Prompt Your Agent for Reliability — Engineer Ittopic
- Agentic Coding is a Traptopic
- Learn Algorithms for Interviews, Forget Them for Worktopic