Columbus Day

No work today because we are honoring Christopher Columbus, a guy who is famous for having the wrong answer to a problem that was solved over a millenium before he was born, and neglecting to convert units NASA style, so that he ended up nowhere near where he was going. Upon arrival, he decided that the peaceful and friendly people "ought to make good and skilled servants" and that he could "conquer the whole of them with 50 men." He instead ended up just killing the lot of them. And for what it's worth, he also probably brought syphilis from the New World, killing a few million more folks in good time. Happy Columbus Day!

Edit: I forgot to mention that Monday was coincidentally a Japanese holiday, taiiku no hi, which a friend reminded me about in an email. It's sports and health day, roughly.