[munksbeer]

> It’s on you to prove that this big “if” can be realized. A -> B only matters when A is true

Not really. This is a discussion about what code looks like if AI can write applications that are as good, stable, correct as humans.

I think they can, better than most programmers at the moment, with the correct guardrails and supervision. But in time, I think we may not need to review the code at all, but instead verify correctness and performance only. The AI can write the code however it likes.

Obviously I don't have a proof for this, but based on the progress I've seen so far, if someone forced me to bet one way or the other, this is what I'd bet on.