What's this? This is the personal homepage of the author (that's me). You can find stuff that I might consider useful here. This is not a weblog a.k.a. "blog", i.e. you will not see regular updates here, you won't see photos of my breakfast or my vacation here and you likely won't find my personal opinions on current politics here.