Amazon researchers recently published a paper which I think is notable considering that Amazon has put a lot of effort into spec-driven development.
The paper argues that specifying how a model should implement a specific solution is significantly superior to writing prose. https://x.com/rockatanescu/status/2119346657511014591/photo/1
The main idea is called "Skeleton Coding" https://arxiv.org/abs/2610.38214
Skeleton Coding, in which
developers jointly specify the structure—in high-level, code-like format—alongside behavioral
specifications. Theoretically, we model AI-assisted coding as a control problem, and show that
skeletons can reduce exponentially the number of tests developers must supply to steer an
agent toward an acceptable program.