The AI and tech stories everyone is talking about, explained in plain English. Each page is updated for two weeks as the story develops.

explainers/

3 items

Proofs, not tests

Anthropic and Theorem used Claude to formally prove that code in 123 open source libraries can't crash. What a proof covers that tests don't, and what it doesn't.

Updated Oct 24, still following

Gold from mercury

Marathon Fusion says fusion neutrons can turn mercury into real, stable gold. The physics, the scale, and why gold isn't about to crash.

Updated Oct 24, still following

The eMudhra keys

How a certificate authority's private keys ended up being tiny numbers, what that let anyone do, and what was fixed.

Updated Oct 25, still following