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 page.
Research Related
- An English translation of Schnorr and Stimm, Endliche Automaten und Zufallsfolgen — the Schnorr–Stimm dichotomy theorem, posted with the author’s permission (2018)
- An expository discussion of Agafonov’s theorem (2019)