On: Deepmind Alphadev: Faster sorting algorithms disco...

[ndesaulniers]

> but intuition for optimizer over optimizer was unlikely to work properly.

Wut?

[mindwok → ndesaulniers]

My guess: Using LLVM IR would mean that the LLVM optimiser might have made the results more noisy or hard to understand when it was compiled to actually execute.