Bend: A fast language that blocks AI mistakes via proof

(github.com)

1 points | by airhangerf15 12 hours ago ago