Out for snowboarding

If you’re trying to contact me, and it’s the week between Feb 19 and Feb 26, you might as well give up now. I’m enjoying myself snowboarding somewhere in Austria. Wish me sunny weather, good snow and all that.

See you week after next! 8)

more ...

Someone is trying to fool us…

…us as in the Germans, and, sadly enough, it’s working. When I first saw the brand of bags called “Down & Out” (Pleite & keine Hoffnung), I thought them to be an oddity, something that no-one would buy. Then I saw them in the wild, and even better, on my own …

more ...

Every Mathematician should have a Coq

(No, not what you think.)

For work today, I had to proofread some lecture notes for my boss. After work, I started wondering: What if we could leave the tedious verification of our math to computers? To me, math is about understanding and constructing, and not so much about meticulously …

more ...



The Lowdown on Amsterdam, Day 3 (Friday)

(You might want to read day 1 and day 2 first.)

Friday was most likely the most serious sightseeing day we had during our time in Amsterdam. We started out in a wool store for Josie, had lunch that gave me heartburn for the rest of the week, and then …

more ...

The Lowdown on Amsterdam, Day 2 (Thursday)

(Read Day 1 first, otherwise you might get confused.)

On the way out of the hostel yesterday, we had stumbled upon an outdoor gear store. I had been on the lookout for a new backpack for quite a while, and right there in that store I saw what I had …

more ...