Bend: A fast language that blocks AI mistakes via proof (github.com) 1 points by airhangerf15 2d ago ↗ HN
0 comments
[ 1.7 ms ] story [ 7.7 ms ] threadNo comments yet.