"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 every time somebody tells me that the silver lining of LLMs is that they force devs to actually write documentation I just laugh and laugh
@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 :)

@sarahjamielewis And now AI bots can autonomously run weapons platforms and be used to hunt and kill people, all for the low, low price of tens of billions of U.S. Tax Payer dollars!

Just really makes you want to dig a hole and pull in the boulders and ground above you... and maybe *then* party like it's end days.

@sarahjamielewis

Show me someone asking this in earnest, and I show you someone who never even attempted to write a robust specification in their life.

@sarahjamielewis “What if [process designed to avoid humans having to talk to each other]” has rarely resulted in good outcomes, in my experience. I expect the LLM fad will be no different.

The world is busy confusing software development artefacts with desired business outcomes. The industry is becoming a cargo cult.

@sarahjamielewis
Isn't writing an airtight specification much, much harder than writing the code to implement it?