Math

Writing a Simple Proof Assistant

May 10, 2026

The Abstract Nonsense Guide to Monads

January 26, 2026

Combinatorial Species

December 17, 2025

Doing Math With Lean

May 26, 2025

March 24, 2025

Formally Verifying Fenwick Trees

March 15, 2025

Fenwick Trees are Awesome!

January 14, 2025

An Origami Puzzle

March 4, 2024

Floats Are Weird

February 18, 2024

Asian Bayesian 2

January 22, 2024

Extremal Graph Theory

January 14, 2024

A Logic Puzzle

January 5, 2024

Asian Bayesian

December 20, 2023

A Mathematical Curiosity

August 13, 2019