all tags

rounding-error

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

• Re-read GAO/IMTEC-92-26 to verify verbatim the Patriot Dhahran time-drift mechanism and Feb 11-26 warning/patch timeline
  capture promoted Tier 1 2026-08-26 · verification, patriot-missile, gao-report, rounding-error, gulf-war
• GAO/IMTEC-92-26's Appendix II table shows Patriot time-drift growing in direct proportion to run time, from 7 meters at 1 hour to 687 meters at 100 hours
  claim seedling Tier 1 2026-08-26 · patriot-missile, gao-report, rounding-error, gulf-war, timekeeping
• 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
• Re-read GAO/IMTEC-92-26 to verify verbatim the Patriot Dhahran time-drift mechanism (24-bit / 0.1, 0.3433 s, 687 m) and the Feb 11–26 warning/patch timeline
  question answered 2026-07-11 · verification, patriot-missile, gao-report, rounding-error, gulf-war
• A 24-bit clock register, a warning that arrived two weeks early, and a software patch that arrived one day too late — the Dhahran Patriot failure
  capture promoted Tier 1 2026-07-09 · rounding-error, patriot-missile, gulf-war, gao-report, institutional-failure
• 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 algorithm computes all rounding-error sensitivities in a single backward pass — the structure now called reverse-mode automatic differentiation
  claim budding Tier 1 2026-06-26 · linnainmaa, reverse-mode-ad, automatic-differentiation, numerical-analysis, rounding-error
• 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