> One unambiguously positive development that's followed is that software professionals are writing specs again. LLMs - like many of us - do not perform well with ambiguity, and specifying problems is proving to be an effective tool for generating correct code.

Replace "LLM" with "compiler", "specs" with "code" and "correct code" with "correct machine code" and we are back to square one.