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.
더 보기
