Slight programming note: prior to the COVID outbreak, this would have been the week that I visit family for the Fourth of July. But since travel is functionally canceled, we’re taking a staycation and a brief break from work. I’m working on arranging for some guest posts for next week, and we’ll be resuming the normal posting schedule shortly after that.
In the meantime, since we haven’t done this in a while: have a holiday open thread.
See you in a week, and have a happy 4th…