Apologies if you came by in the last few days, when the website was down.

An explosion in the power room at a data center took down around 9,000 servers hosting websites, including this one. There’s a news article about it if you are so inclined.

In any case, we’re back up now, and hopefully everything should be running smoothly.