When humans write the software, who verifies it?
half sarcasm, half real-talk.
TDD is nice, but human coders barely do it. At least AI can do it more!
half sarcasm, half real-talk.
TDD is nice, but human coders barely do it. At least AI can do it more!
If you could pause a bit from being awed by your own perceived insightfulness, you would think a just bit harder and realize that LLMs can generate hundreds of thousands of code that no human could every verify within a finite amount of time. Human-written software is human verifiable, AI-assisted human-written software is still human verifiable to some extent, but purely AI-written software can no longer be verified by humans.