GitHub - bendlang/bend: Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
github.com
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh - bendlang/bend

This showed up on TLDR today. Supposed to be able to loop this in with AI-assisted code development to provide guardrails on what the program is actually supposed to do.