Spec-Driven Development for AI Coding Agents — cameron.stream
4 experts are actively discussing the implications.
1 expert
1 community
1 sources clustered
“cameron.stream/knowledge/sp... slop written but about accurate. It's mostly a workflow thing. Basically, I talk to my agent(s) about the spec first, and then have agents go off on timers to complete a "tick".”
4 experts discussed this · 43 posts
Tim Kellogg: i’m not actually sure this is true. Meaning that spec-driven dev & formal methods haven’t been picked up and there’s probably a reason for it mainly: it’s cheaper & easier to use the code as the si…
Tim Kellogg: people have been saying that it’s best to delete docs after every session and just have an agent rebuild context every time, that way you don’t get confused output tbf the strongest argument agains…
Tim Kellogg: one configuration of formal methods. that could work — use an agent to build a formal spec on the fly, based on what the code *actually* does, and use that to prove liveness, correctness, etc. i co…
Open the full discussion →