Loading...

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

Egoless Mathematics in the AI Era

The advantages of mobile Linux over AOSP

Mathematics has changed. Let's act like it

Why are we even doing all this?

Will Linux phones become a viable alternative to the Android/iOS duopoly?

Aggro is the Foundation (2022)

Reading and writing are less symmetric than you (probably) think

Lighthouses, War and a Puffling

Will it be a golden age or a dark age for mathematics (and science)?

How the L0pht (probably) optimized attack against the LanMan hash

How to Formalize All of Mathematics

Oai-math-revised: a community hub for revising OpenAI's math write-ups

Post-mortem debuggable, minimal-size memory dumps on macOS

What should we tell our students?

To grieve, or not to grieve?

The Future of Mathematics

Illustration Beyond Proof

What mathematicians should know about the Lean Theorem Prover: reliability & AI

A Misalignment of AI in Mathematics

I didn't sign the Fields medallists' letter

We're gonna need a lot more mathematicians

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

A Closer Look at Australopithecus Africanus

After Math

Digital Audio on the ZX Spectrum's 1-Bit Beeper

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

More →