@Gilad_Bracha: The future role of the software engineer is using AI to translate informal requirements into high level formal specs, a…
Summary
Gilad Bracha envisions a future where software engineers use AI to translate informal requirements into formal specs and review them, while AI implements and verifies code. The human ensures the formal spec is correct, writing only natural language.
View Cached Full Text
Cached at: 06/05/26, 07:21 PM
The future role of the software engineer is using AI to translate informal requirements into high level formal specs, and reviewing those. The AI implements the specs, and verifies against the formal spec using a theorem prover. The human is there so we can blame them when things go wrong; the human’s job is to ensure the formal spec is correct; that is the code they review. If it seems wrong, they tell the AI and discuss. The human writes nothing but natural language.
Similar Articles
People who write specs for AI coding agents?
The article discusses varying approaches to writing specifications for AI coding agents and asks for community input on effective methods.
What's gonna happen to software engineers?
A software engineer reflects on how AI will affect the profession, proposing two categories of developers and arguing that the role will adapt rather than disappear.
I’ve been using AI heavily as a software engineer, and honestly, it feels a bit strange.
A software engineer reflects on the strange feeling of relying heavily on AI tools like Codex for coding, questioning whether it makes one a weaker developer or signals the next stage of software engineering.
AI is turning Engineers into Farmers, Doctors and Gardeners · aswinmohan.me
The article explores how AI is transforming software engineers from creators who build systems from scratch into roles akin to farmers, doctors, and gardeners, who grow, diagnose, and nurture code generated by AI. It highlights the loss of deep comprehension and the shift toward experimentation and observation.
@paulg: Interesting. AI will in effect increase both supply and demand for formal methods. You need them more, but you also hav…
Jane Street, previously skeptical about formal methods, is now building a team to use them, driven by AI and agentic coding that reduce costs and increase benefits for software verification.