Bend 2 and the Vibe-Coding Trap
- September 18, 2026 Bend 2 is being pitched as a language for the AI coding era: humans write “laws”, AI writes implementations and proofs, and the compiler checks that the proofs are sound.
- That all sounds quite impressive and I can see why someone would want a language that does that.
- There are actually a few major problems with this idea; however, that’s not what this article about.
Unverified
- September 18, 2026 Bend 2 is being pitched as a language for the AI coding era: humans write “laws”, AI writes implementations and proofs, and the compiler checks that the proofs are sound.
- That all sounds quite impressive and I can see why someone would want a language that does that.
- There are actually a few major problems with this idea; however, that’s not what this article about.
Sources: Liampwll