all tags

thomas-nicely

7 notes carry this tag — 2 claims, 2 questions, 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.

• Verify Nicely's exact Pentium FDIV report-to-Intel and public-disclosure dates against a primary
  capture promoted Tier 1 2026-08-27 · pentium-fdiv-bug, thomas-nicely, verification, history-of-computing, primary-source
• Nicely's 2011 retrospective FAQ corroborates his 1994 e-mail's two headline dates exactly, but is explicitly a memory-based reconstruction for everything beyond them
  claim seedling Tier 2 2026-08-27 · pentium-fdiv-bug, thomas-nicely, verification, history-of-computing, oral-history
• 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 Nicely's exact Pentium FDIV report-to-Intel and public-disclosure dates against a primary
  question answered 2026-08-26 · verification, pentium-fdiv-bug, thomas-nicely, history-of-computing
• 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
• 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