PEP 3107 and stronger typing (note: probably a newbie question)

Kay Schluehr kay.schluehr at gmx.net
Sat Jul 21 19:51:54 CEST 2007


On Jul 20, 6:28 pm, Paul Rubin <http://phr...@NOSPAM.invalid> wrote:

> As the Intel FDIV bug
> incident reminds us, even billions of test inputs are not enough to
> show that the routine does the right thing for EVERY input.

When I remember correctly the FDIV bug was due to a wrongly filled
lookup table and occurred only for certain bitpattern in the divisor.
I'm not sure how a formal proof on the structure of the algorithm
could help here? Intel repaired the table i.e. the data not the
algorithm that acted upon it.




More information about the Python-list mailing list