I made a clean, generic, zero-dependency matrix math package for Go.

Coalgebras and Automata

Using algebra and LLMs to verify a flight-plan bug fix in Lean

ZAYA1-8B matches DeepSeek-R1 on math with less than 1B active parameters

Unlocking sudoku's secrets (2025)

Fast Fourier Transforms Part 1: Cooley-Tukey

Monocurl - Interactive math animation language and editor

Three Cultures of Math

New study shows it's intelligence, not shared skills or rhythm, that link math & music talents together

When is your birthday? The math behind hash collisions