How I’ll Spend My Summer Vacation
OR, why one ought not expect the frequency of posts around here to increase.
I’ve dropped cryptic hints here and there, but I can now announce three happy chunks of news, each one about a fun and challenging project that will be occupying me for the next few months, possibly years, and in one case probably decades.
Cross-posted from Old is the New New. Comments welcome.