Grieving for math.
I learned to program in C from two textbooks and no Internet. Something is lost when the AI writes all the code.
A student asked whether choosing with order or without order changes a probability. My first instinct was wrong.
For which n does n divide the nth Fibonacci number?
George R.R. Martin split writers into architects and gardeners. The same split applies to course planning, and I am firmly a gardener.
Plato’s anamnesis, the Pali sati, and mathematicians who ‘discover’ theorems. What if learning really is remembering?
Randomness is hard to simulate. How to generate a uniformly random point inside a triangle, worked out so I could play with Sperner’s lemma.
An archive of Mir Publications textbooks, and why I prefer their hundred-page directness to American doorstops.
Dummit and Foote classify Pythagorean triples using Hilbert’s Theorem 90, a surprisingly slick route to a classical fact.
A theorem I hit while formalizing linear programming in Lean, where the naive topological proof falls apart.
A fun theorem I came across in a talk on tree colorings, and the polynomial trick behind it.
A NumberPhile video on the density of primes mod 4, and the passing remark in it that I found more interesting than the headline result.
