> The benefit being that it formalizes the human as the specifier (which must be done anyway) and the llm as the code writer. The code was always a secondary e

> The benefit being that it formalizes the human as the specifier (which must be done anyway) and the llm as the code writer. The code was always a secondary effect of making software. The pain is in fully specifying behavior.