First post on this site. More to come, eventually — mostly notes on whatever I’m working on or reading.