The Vibe-Coding Trap: Building a Whole Language for a Solved Problem

Bend 2 markets itself as a language for the AI era, where humans specify “laws,” an LLM writes both implementations and proofs, and the compiler verifies the proofs hold. Critic Liam Powell argues the project illustrates a broader hazard of vibe-coding: the ability to ship an elaborate solution before understanding the problem well enough to know a better one already exists. Bend’s own homepage demo needs 58 lines just to declare that a player can never win a game, plus a 442-line machine-built proof to back it up — effort spent reinventing something the field of formal verification has long since standardized.