General note: I’m trying to move my blog here from my wordpress page. I’ll probably copy my old posts over eventually so that it’s all here in the history.