Taelin
@VictorTaelin
₍^. .^₎⟆
加入 March 2011
2.6K 正在關注 83.9K 粉絲
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.
Watch the video. Link in the comments.
顯示更多
