Gaussian Processes for Machine Learning (2006) [pdf]

Tic-tac-toe meets Lean 4

The Rubik's Cube Perfect Scramble (2024)

Why Metropolis–Hastings Works

Apple taught an LLM to predict tokens up to 5x faster in math and coding tasks

Blazing-Fast Math Engine | FLN

Show HN: Mathpad – Physical keypad for typing math symbols

Show r/programming: I built a symbolic math library in C# - here's how it works

Needed math for compiler development?

New educational project: Rustframe - a lightweight math and dataframe toolkit