Hello to the readers still using RSS! I've moved the blog off WordPress to my own ugly publishing software, and will be grateful if you report any glitches you see (posts or comments look bad on device X or feed reader Y, that sort of thing.) This blog slowed down a lot in 2017, when I switched from a part-time programming position to a full-time senior management position. Between the comment spam flood and the ancient pre-mobile design, it would take some doing to get the blog back into sha...
