Maintaining logins and comments on this site long ago became quite difficult, and it hasn’t become any better. And the WordPress post creation/editing UI is really awful. So I think I’m migrating to substack:
I’ll keep this site up for whatever historical interest it may possess but newer stuff will appear on substack. Hope to see all my old friends there.