2025
Combinatorial SpeciesDecember 17, 2025
Doing Math With LeanMay 26, 2025
Doing Something Actually Useful With Formal VerificationMarch 24, 2025
Formally Verifying Fenwick TreesMarch 15, 2025
Fenwick Trees are Awesome!January 14, 2025
2024
An Origami PuzzleMarch 4, 2024
Floats Are WeirdFebruary 18, 2024
Asian Bayesian 2January 22, 2024
Extremal Graph TheoryJanuary 14, 2024
A PuzzleJanuary 5, 2024
2023
Asian BayesianDecember 20, 2023
2019
A Mathematical CuriosityAugust 13, 2019