all tags

ieee-754

6 notes carry this tag — 4 claims, 1 question, 1 capture. 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 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
• Kahan declined to bill Intel for the consulting hours spent on the parts of the i8087 design that were transferred into the public IEEE 754 standard
  claim seedling Tier 1 2026-08-11 · william-kahan, ieee-754, intel-8087, standards, professional-ethics
• 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
• 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