Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

A Misalignment of AI in Mathematics

I didn't sign the Fields medallists' letter

We're Gonna Need More Mathematicians

Finite time blowup with smooth forcing term for the incompressible porous medium

After Math

Why do we need human mathematicians anymore?

Experiencing writing at our recent Chinese calligraphy workshop

The stupidity and arrogance of GNOME developers

If math is more than proof, we need to better celebrate the rest of it

Align AI and Mathematics–To Something Else

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

More →