> 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.
andy12_ 7 hours ago |
Very cool! You should include in the readme the game Astra implemented from scratch in Bend 2.