Bend 2 debuts with a promise to block AI mistakes through proof checking
The launch announcement describes the new programming language as “very fast” and says it runs on GPUs.
TLDR
Bend 2’s announcement claims the new programming language blocks AI mistakes through proof checking. It also touts the language’s speed and ability to run on GPUs.
Combined views
1.2M
2 Sources, first seen ago