#lean proofs

1 story

#ai safety #bend #bug prevention #cuda #gpu acceleration #parallel computing #programming language #proof verification #startups #technology #type checking

Bend: a language that stops AI from breaking your code
A new programming language uses mathematical proofs to prevent AI from shipping bugs, while running as fast as C on any number of cores.
Bend Lang · 1m · 6 views