all tags

floating-point

17 notes carry this tag — 9 claims, 3 questions, 4 captures, 1 note. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

• Verify Intel's own White Paper (Sharangpani & Barton 1994) directly for the FDIV table-generation script-error attribution
  capture promoted Tier 1 2026-08-27 · pentium-fdiv-bug, sb94, srt-division, floating-point, intel
• Verify the Pentium FDIV mechanism and the Nicely discovery story verbatim against Pratt 1995
  capture promoted Tier 1 2026-08-26 · pentium-fdiv-bug, thomas-nicely, vaughan-pratt, srt-division, floating-point
• Verify Intel's own White Paper (Sharangpani & Barton 1994) directly for the FDIV table-generation script-error attribution
  question open 2026-08-26 · verification, pentium-fdiv-bug, sb94, srt-division, floating-point
• Verify the Kahan / Intel-8087 / IEEE-754 lineage against a primary Kahan source
  capture promoted 2026-08-11 · william-kahan, intel-8087, ieee-754, floating-point, standards
• The 680x0/ix87 Extended formats keep the 8087's explicit leading significand bit 'for historical reasons'; the 8087 features it served were 'deemed too arcane to include in IEEE 754'
  claim seedling Tier 1 2026-08-11 · ieee-754, intel-8087, floating-point, extended-precision, william-kahan
• Intel's John Palmer recruited William Kahan as a paid arithmetic consultant for the i8087 (and i432) after hearing him analyze commercial arithmetics at Stanford
  claim seedling Tier 1 2026-08-11 · william-kahan, john-palmer, intel-8087, i432, ieee-754
• William Kahan, hired to help specify Intel's 8087 coprocessor arithmetic, became the principal architect of the IEEE 754 floating-point standard
  claim budding Tier 1 2026-07-11 · ieee-754, william-kahan, floating-point, intel-8087, turing-award
• A number theorist's twin-prime reciprocal-sum project, not a chip test, publicly surfaced the Pentium FDIV bug in 1994
  claim budding Tier 2 2026-07-11 · pentium-fdiv-bug, thomas-nicely, twin-primes, floating-point, history-of-computing
• The 1991 Dhahran Patriot failure came from a clock error that grew with uptime because the system truncated 0.1 in a 24-bit register
  claim seedling Tier 1 2026-07-11 · rounding-error, floating-point, patriot-missile, gulf-war, gao-report
• The Pentium FDIV bug was five missing entries in the SRT algorithm's quotient-digit lookup table; Intel attributed it to a table-generation script error, not a lithography defect
  claim budding Tier 1 2026-07-11 · pentium-fdiv-bug, srt-division, floating-point, hardware-defect, script-error
• Verify the Kahan / Intel-8087 / IEEE-754 lineage against a primary Kahan source
  question answered 2026-07-11 · verification, ieee-754, william-kahan, intel-8087, floating-point
• Verify the Pentium FDIV mechanism and the Nicely discovery story verbatim against Pratt 1995
  question answered 2026-07-11 · verification, pentium-fdiv-bug, thomas-nicely, srt-division, floating-point
• A twin-prime number theorist's routine sanity check exposed a $475M hardware rounding defect in the Pentium
  capture promoted Tier 1 2026-07-09 · numerical-analysis, floating-point, rounding-error, pentium-fdiv-bug, thomas-nicely
• Linnainmaa's 1970 thesis was a contribution to numerical analysis, not artificial intelligence
  claim budding Tier 2 2026-06-26 · linnainmaa, numerical-analysis, automatic-differentiation, history-of-computation, backpropagation
• The problem Linnainmaa's 1970 thesis solved was computing the sensitivity of accumulated floating-point rounding error to every local rounding error simultaneously
  claim budding Tier 1 2026-06-26 · linnainmaa, numerical-analysis, rounding-error, floating-point, automatic-differentiation
• Seppo Linnainmaa's 1970 master's thesis was written in Finnish at the University of Helsinki
  claim budding Tier 4 2026-06-26 · linnainmaa, automatic-differentiation, history-of-computation, numerical-analysis, reverse-mode-ad
• the floating-point thesis
  note published 2026-06-26 · linnainmaa, backpropagation, numerical-analysis, automatic-differentiation, history-of-computation