2 ms·

Also these climate models are likely calculated on Intel hardware: a company notorious for floating-point bugs. Even if we verify the software is correct, unle

Also these climate models are likely calculated on Intel hardware: a company notorious for floating-point bugs. Even if we verify the software is correct, unless we see the RTL that describes the logic behind these chips, it's all just hocus-pocus as far as I'm concerned.

titusflavius 17y ago
You can't verify software is correct, it can always fail at time t+1. Basic configuration testing on PPC or other architectures would highlight a lot of the error-sensitive paths in the math libraries.