Bend: a fast language that blocks AI mistakes via proof.