Why I didn’t sign the Fields medallists’ letter

The Advisory Group on Mathematics and Artificial Intelligence

Fermat's Last Theorem: Anthropic has beaten me to it

Knowing Where to Type ‘Zero’ (2015)

The Three AI Pills

ZX Spectrum: Experimenting with 1-Bit Sound

Lucasart's Afterlife

Copying login keychains between Macs fails on Secure Enclave Macs with Tahoe

AMD Based FreeBSD Desktop Reloaded

New all in one 6502 computer (Neo6502kbd)

Finite time blowup for an averaged three-dimensional Navier-Stokes equation (2014)

Memory Ordering in CPUs

Solving the Flat Cube

METR and Redwood Offer Holy %^ Postmortem of the HuggingFace Hack

Palomar: A registry of Lean verified mathematics

AI Software Development – What Does The Data Say?

A Cyanometer and a Cloud Colourimeter

I attended the State of the Map conference

What sort of maths are LLMs good at?

Rotating needles in space: the road to the Kakeya conjecture, and why it matters

Vintage Computer Fair West 2026

Three Generations in E7

Ranking the Most Brilliantly Colored Birds with Data

Move FreeBSD System Between ZFS Disks

A digestion of the proof of Sendov's conjecture

Come for ENIAC, Stay for UNIVAC and Skeduflo

A partial digestion of the HRT counterexample

Spritework on the ZX Spectrum: Rendering

ESP32-C3 SuperMini antenna modification

ZX Spectrum System Tour: Text Mode

More →