3 ms·
Announcement post https://x.com/VictorTaelin/status/2100681226143092875 https://x.com/VictorTaelin/status/2100681226143092875 > Bend 2 is here! > It is a new
by tempaccount420 15d ago
Announcement post https://x.com/VictorTaelin/status/2100681226143092875 https://x.com/VictorTaelin/status/2100681226143092875
> Bend 2 is here!
> It is a new programming language that blocks AI mistakes via proof checking - the same technique big AI labs used to >solve open math problems, like Navier-Stokes.
> It is also very fast, and runs on GPUs.