3 ms·
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?
by auselen 2y ago
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?
- kragen 2y agothere are new items in this category every day, but https://blog.cr.yp.to/20240803-clang.html https://blog.cr.yp.to/20240803-clang.html is noteworthy
- auselen 2y agoEh https://news.ycombinator.com/item?id=41146860 https://news.ycombinator.com/item?id=41146860
- kragen 2y agoyes, that
- fulafel 2y agoThis 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.