gg2
Bend 2 and the Vibe-Coding Trap
The gist
A developer says Bend 2's demo needs 58 lines to state rules.
The dispute tests whether AI-era coding languages should reuse decades-old formal verification.
How it unfolded
- Jun 2026Pramaana Labs announced a US$27 million seed round led by Khosla Ventures, with Accel, Boldcap, Nexus Venture Partners, Premji Invest and Unbound, to build a system combining an LLM with a LEAN-style verifier.
- Sep 18, 2026El Ecosistema Startup published "Bend 2: la trampa del vibe coding que reinventa la rueda".
- recentlyLiam Powell published a direct critique of Bend 2, reproducing the official demo and finding it needs 58 lines to define the rules and 442 additional lines to prove they hold.