Bend: A fast language that blocks AI mistakes via proof

1 points | by airhangerf15 12 hours ago