**Notes** Informal notes that were never meant for publication — expository write-ups, and sometimes just my notes from reading something. Most of this page dates from 2017–2019 and stands as an archive. Current work is on the [AI for Mathematics](ai-math.md.html) page. (#) Research Related * [An English translation of Schnorr and Stimm, _Endliche Automaten und Zufallsfolgen_](notes/agafonov.md.html) — the Schnorr–Stimm dichotomy theorem, posted with the author's permission (2018) * [A constructive proof of the Lebesgue density theorem](notes/files/Notes_on_Lebesgue_Density_Theorem.pdf) (2018) * [An expository discussion of Agafonov's theorem](notes/files/afgonov.pdf) (2019) (#) Teaching * [A Hanoi Tower Variation](https://medium.com/@xiangyazi24/a-hanoi-tower-variation-229d10ed306c) (#) Just 4 Fun * [Flip 1/(1-x)](../math4fun/flip/flip.html)