The Pentium as a Navajo Weaving(righto.com)

437 points by GavinAnderegg 2 years ago | 80 comments

Ken Shirriff's blog post about a 1994 Navajo weaving by Marilou Schultz depicting Intel's Pentium chip, shown at the National Gallery of Art.

Two interesting XOR circuits inside the Intel 386 processor(righto.com)

82 points by _Microft 2 years ago | 13 comments

A CT scanner reveals surprises inside the 386 processor's ceramic package(righto.com)

288 points by robin_reala 1 year ago | 95 comments

The Intel 386 processor die: the clock circuit(righto.com)

114 points by picture 2 years ago | 9 comments

Reverse engineering the 386 processor's prefetch queue circuitry(righto.com)

156 points by todsacerdoti 1 year ago | 46 comments

Inside an IBM/Motorola mainframe controller chip from 1981(righto.com)

119 points by todsacerdoti 2 years ago | 79 comments

Intel's $475M error: the silicon behind the Pentium division bug(righto.com)

362 points by gslin 1 year ago | 110 comments

Ken Shirriff's blog post examining the Pentium die to show where the 1994 floating-point division bug lies in the silicon and why it occurred.

That's not an abstraction, that's a layer of indirection(fhur.me)

546 points by fagnerbrack 1 year ago | 213 comments

A blog post arguing that many so-called abstractions in codebases are merely layers of indirection that add complexity and hurt performance without real value.

The Intel 8087 chip: floating-point addition and subtraction(righto.com)

102 points by pwg 8 days ago | 33 comments

Ken Shirriff blog post examining the Intel 8087 coprocessor's microcode and circuitry for floating-point addition and subtraction, including special cases.

Reverse-engineering the Intel 8087's tangent algorithm: more than CORDIC(righto.com)

98 points by pwg 1 month ago | 11 comments

Ken Shirriff's blog post reverse-engineering the Intel 8087 coprocessor's FPTAN tangent instruction, which combines CORDIC with polynomial approximation.

The Pentium contains a complicated circuit to multiply by three(righto.com)

354 points by Tomte 1 year ago | 138 comments

Ken Shirriff's blog post reverse-engineering the Pentium's ×3 multiplier circuit, used in its base-8 floating-point multiplication, and explaining how it works.

Human mathematicians are being outcounterexampled(xenaproject.wordpress.com)

456 points by artninja1988 3 months ago | 225 comments

A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.