Seattle is going through a historic heatwave this weekend. We were up above 100 degrees yesterday and probably again today and tomorrow before the weather breaks.
As a result of this, I will probably power down the server that runs this site and other things that run here later today. That means that the various email groups that run here will not be available for a while. I expect to bring things back up on Tuesday. If you’re in Seattle, stay cool and safe.