Natural language is too ambiguous for this, which makes it impossible to automatically verify What you need is indeed spec-driven development, but specs need t

Natural language is too ambiguous for this, which makes it impossible to automatically verify What you need is indeed spec-driven development, but specs need to be written in some kind of language that allows for more formal verification. Something like https://en.wikipedia.org/wiki/Design_by_contract https://en.wikipedia.org/wiki/Design_by_contract, basically. It is extremely ironic that, instead, the two languages that LLMs are the most proficient in - and thus the ones most heavily used for AI coding - are JavaScript and Python...