> What we are doing in practice when delegating coding to LLMs is climbing up the abstraction level ladder.

You’re not abstracting if you are generating code that you have to verify/fret about. You’re at exactly the same level as before.

Garbage collection is an abstraction. AI-generated C code that uses manual memory management isn’t.