Notes

Quick write-ups, references, and things I want to remember.