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.
Now that’s something I did not expect: Apple themselves made a Metal C++ interface. I though they are in a “there are no languages just Swift&ObjC”. It’s a single-header library too! https://t.co/HW6aLn2rWI
Pattern I've noticed in very impactful people: Spend ~1 year exploring broadly, ~4 years relentless focus executing on the most interesting direction, repeat.