Bend 2 proof-checks the code your AI writes
If you let an AI agent write most of your code, you eventually ship a bug you didn’t write either. Victor Taelin’s answer to that is Bend 2, a programming language where the compiler refuses to accept code that breaks a declared mathematical proof. The release hit the front page of Hacker News this week […]