I sometimes get inspired to write about things I learn. When I do,
I put it here.
A proof of correctness and a run-time bound.
That is, using a constant number of word operations.
Implementing the AKS algorithm.
A guide to understanding the AKS primality test.
With a detailed explanation of the Fermat and Miller-Rabin primality tests.
One for Green's theorem and the other for Fubini's theorem.
Proper tail recursion's kissing cousin.
Expressed as exercises for a calculus class.
With example code.
Embed Brainfuck in C++.
With a reference Python implementation.
How to solve Pell's equation.