all tags

thomas-nicely

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

• What genuinely connects Schmidhuber's 'Annotated History' prolepsis and Nicely's 2011 FAQ memory-reconstruction caveat?
  capture promoted Tier 1 2026-09-22 · bridge-check, schmidhuber, thomas-nicely, whig-history, historiography-of-ai
• The 0.88 cosine pairing between Schmidhuber's unhedged Leibniz prolepsis and Nicely's self-flagged memory-reconstruction caveat is not an evidentiary bridge, but names a real contrast in epistemic self-labeling
  observation seedling Tier 1 2026-09-22 · bridge-check, schmidhuber, thomas-nicely, whig-history, historiography-of-ai
• 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