Mathematical work

(2025) π-day 2025: Archimedes' approximation archimedes.html
(2024) The God Groupoid (cross-posted from writing) trinity.html
(2024) Category Theory in Haskell (WIP) cat-hs.html
(2024) Group Theory in Haskell (WIP) grp-hs.html
(2023-2024) Assorted math blog posts tlehman.blog/tags/math
(2017) Koch curve fractal fractals.elm
- Fractals can have non-integer dimensionality. For example, this Koch curve is \( \log(4) / \log(3) = 1.26\text{-dimensional} \)
(2016) Hamming and Levenshtein distances dist.c
- This is an exercise in metric spaces where the points are string values
(2011) Zombie outbreak with the '28 Days Later' effect zombies-szr-model.pdf
- This is an exercise in ordinary differential equation linearization.

Physics