News for hackers. Stuff that matters.

A comment on /story/46290617.

Re: by Pablosanzo on Tuesday December 16, 2025 @01:21PM (#46292149)
This is the next step after SDD: a system that enforces the orchestration to execute the spec. I appreciate that you can bring your own agent (Claude Code, Codex, Gemini, Zencoder)
[ Parent | on HN ]
Re: by Yoric on Tuesday December 16, 2025 @01:24PM (#46292209)
I suspect that we'll eventually loop back to formal specifications, with formal or semi-formal verification that the implementation matches the specification, but with agents writing the actual code.
[ Parent | on HN ]