Get the latest tech news

Bend 2 and the Vibe-Coding Trap

s 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.

None

Get the Android app