top | item 45987111 (no title) cbarrick | 3 months ago 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. discuss order hn newest measurablefunc|3 months ago 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.
measurablefunc|3 months ago 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.
measurablefunc|3 months ago