I mean these compilers build all these SW stacks, even this very browser I’m using, where are these correctness issues you are talking about?

there are new items in this category every day, but https://blog.cr.yp.to/20240803-clang.html is noteworthy

This is about optimizations affecting timing of cryptographic code, not correctness of computation, the argument for calling this a correctness bug in the compiler is quite weak I think.

Eh https://news.ycombinator.com/item?id=41146860

yes, that