[traderj0e]

I dunno, I'd rather proofread (or better yet just test) LLM-generated code than have to reason about assembly. You can't just look at part of the assembly to prove that the rest is right, especially if it's hand-written, or maybe just -O3. But anyway compilers are not what come to mind when someone mentions LLM coding.

[cyclopeanutopia]

This is an illusion: reasoning about typical NPM-based project with hundreds of dependencies that you will NEVER dig into is not at all easier, it's just that most people completely give up on this and base their "reasoning" not on the facts, but on the made-up stories about what do those things supposedly do.