Research notes, technical writeups, and essays.
Introduction
A short introduction: who I am, what I work on, and what I plan to write about here.