"what if we first wrote a robust specification and constrained the bots to deriving code that conformed to the spec?"

I literally spent YEARS of my life deriving robust specifications for systems, and I had the benefit of the software already existing and operating in the real world, and occasionally access to previous documents that at one point people might have described as "specifications".

@sarahjamielewis someone is about to invent TDD, or contract-based programming, or the waterfall model. Just wait until they invent fire!
@moz @sarahjamielewis "we're going back to waterfall and TDD" is a real quote from leadership in one of my meetings last week.
@ello @sarahjamielewis "don't use your judgement, just do what you're told" is the programmer version of work to rule and it utterly destroys managers. Apparently LLMs do that by default :)