is this bullshit? or does ISA not really matter in some fictitious world where we can normalize for process and other factors?

https://www.techpowerup.com/340779/amd-claims-arm-isa-doesnt-offer-efficiency-advantage-over-x86

please sign my petition to bring SCSI back but this time we pronounce it “sexy”

100th LLVM bug found using Alive2!

but I like to think it has prevented a much larger number, since people use it as a litmus test for optimizations before pushing them into the tree

I don't know of any comparable success story for formal methods in a widely used compiler