I want to tweak the CSS. It’s vanilla Bootstrap. Most importantly, I wish the headings were a few points smaller and the body text a few points bigger.

The other remaining item is to do the 301 redirect from Blogger to here. It turns out that this should be ridiculously easy to do with Amazon S3. You can make a bucket that does nothing but perform 301 redirects. I’ve created such a bucket already, and the redirects work fine. I simply need to update my DNS, for which I’m using Amazon Route 53.

Folks from my company would stay north of Frankfurt at the Mövenpick Hotel in Oberursel. It was more affordable and very comfortable. The front desk staff remained the same for many years. They got to know us—the obviously American, odd musician types—and were very friendly.

A couple years ago, I’d scheduled to fly home on Sunday, in case I needed to have more meetings on Saturday. The meetings never materialized, and I took it as a free day. The April weather was unseasonably warm. I walked into Oberursel’s small “downtown” and explored it like I never had before. At some point I ended up wandering into paths that led through parks and open fields. It was very beautiful.

CLI is the 808x instruction to clear maskable interrupts. If you’re writing a routine to service a hardware interrupt, you do a CLI early in your routine — to prevent another hardware interrupt from causing your routine to be re-entered. Neglecting this invites the most delightful form of bug, the intermittent bug.