> Now, a key question is how we check that the program we get out of the AI is indeed equivalent to the higher level description / numpy ... suffice it to say that testing for semantic equivalence is possible and we do it.
This is the most interesting problem in CS right now
Show more
"openai engineer explains /why/ he didn't need to understand the kernel line by line" 🙃
we're doing compilers 2.0
