Skip to content

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

Read at the source →

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

back to /reading