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.
もっと見る
