Bend 2 und die Vibe-Coding-Falle
Bend 2 and the Vibe-Coding Trap
Bend 2 wird als Sprache für das KI-Zeitalter vermarktet: Menschen schreiben Gesetze, KI erzeugt Implementierungen und Beweise. Doch der Autor argumentiert, dass Bend in eine Vibe-Coding-Falle getappt ist: 58 Zeilen für Gesetze, 442 Zeilen für Beweise. In SPARK, einer etablierten formalen Verifikationssprache, löst dasselbe Programm das Problem mit nur 12 bewiesenen Checks – ohne LLM-generierte Beweise. Der Autor kritisiert, dass die Entwickler von Bend die formale Verifikation offenbar nicht kennen und dadurch eine unnötig komplexe Lösung gebaut haben.
Vibe-Coding macht es viel zu einfach, ein Design zu implementieren, das furchtbar kaputt oder Jahrzehnte hinter dem aktuellen Stand der Technik ist, weil man sofort ein Ergebnis bekommt, ohne jemals recherchieren zu müssen.