Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Has this been done successfully at scale?

There's a lot of handwaving in this "just use AI" approach. You have to figure out a way to guarantee correctness.



There are tons of test suites so if the tests pass then that provides a reasonable guarantee of correctness. Although it would be nice if there was also proof of correctness for the compilation from CUDA to AMD.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: