3 ms·
> You could never even consider all of the possible combinations and interactions, let alone test them. Nobody has ever tested all possible inputs to 64 bit mu
by eru 7mo ago
> You could never even consider all of the possible combinations and interactions, let alone test them.
Nobody has ever tested all possible inputs to 64 bit multiplication either. You can sample from the space.
- pixl97 7mo agoEh that sounds a bit different to me, multiplication should be roughly the same operator on each test, these are wildly different functions.
- deepsun 7mo agoYou forgot about NaNs (all of them), infinities and positive/negative zeros. Tests warranted.
- MaxBarraclough 7mo agoDon't forget the Intel floating-point division bug from the 90s. https://en.wikipedia.org/wiki/Pentium_FDIV_bug https://en.wikipedia.org/wiki/Pentium_FDIV_bug
- eru 7mo agoI was being a bit hyperbolic. However, sampling really is the way to go when you face a combinatorial explosion. (If you can't prove it correct, that is.)