I’m not dead!
It’s been almost a full year since I posted anything here, and that isn’t likely
to change, but I’ve moved to a real domain. You should be reading this on
I’ve mostly updated the home page, as that’s the most outdated component.