#proof systems

1 story

#ai-assisted development #bend programming language #formal verification #language design #llm limitations #software engineering #spark language #startups #technology #vibe-coding

Bend 2 and the Vibe-Coding Trap
A new programming language designed for AI-assisted formal verification may have reinvented the wheel by missing decades of existing research.
Liampwll · 2m · 5 views