> Code quality can also be codified. Do you think that no one has tried this over the past 80 years with human programmers, but now with LLMs we can suddenly m

> Code quality can also be codified. Do you think that no one has tried this over the past 80 years with human programmers, but now with LLMs we can suddenly manage to do it? Why do linters and formal verification and testing exist if we could’ve jus codified coding quality in the first place? To me, this is like telling a carpenter that we can codify what makes a chair comfortable or not.