I’m Ticki, this blog is about programming, mathematics, and politics.
My primary interests are abstract algebra (most field theory and Galois theory), OS development, algorithms, and type systems.
I enjoy classical music, and more recently, K-pop. My favorite classical composers are Chopin, Lizst, Debussy, and Satie (in that order). My favorite piece is Rêverie by Debussy, and Liebestraum by Lizst. My favorite K-pop bands are Twice, EXO, and Red Velvet (no order).
For questions, errata, or critcism, please write to me at the Mozilla IRC (my username is
Everything written on this blog should be considered MIT-licensed, but I prefer you give attribution.