https://dev.to/wintrover/why-we-still-dont-trust-ai-generated-code-the-archright-trinity-105h
Why We Still Don't Trust AI-Generated Code: The Archright Trinity - DEV Community
"You just can't trust code written by AI." Until right before I decided to resign, this was the... Tagged with devlog, ai, formal, verification.