Bend: A fast language that blocks AI mistakes via proofgithub.com1 point·airhangerf15··0 commentsOpen articleSaveView on HN