Musings

Notes, writeups, and whatever I am thinking about.