Philosophically, what does it mean to prove something correct? If it turns out to not be correct, does it call into question the understanding of what "proof" means with respect to software development?
While you see it as a curiosity, I see it as being in the same family as the Ariane 5 launch failure. https://en.wikipedia.org/wiki/Cluster_(spacecraft)#Launch_fa... . Software which was "proven" to be correct - original Bentley code or the Ariane 4 inertial reference software - was reused in a new context - in JDK on systems with over 2^32 elements or on the Ariane 5 with its greater horizontal acceleration.
The change of expected environments in both cases lead to overflow.
While you see it as a curiosity, I see it as being in the same family as the Ariane 5 launch failure. https://en.wikipedia.org/wiki/Cluster_(spacecraft)#Launch_fa... . Software which was "proven" to be correct - original Bentley code or the Ariane 4 inertial reference software - was reused in a new context - in JDK on systems with over 2^32 elements or on the Ariane 5 with its greater horizontal acceleration.
The change of expected environments in both cases lead to overflow.