New PGP Key

Because I recently applied for the position of a Debian maintainer, I finally had to upgrade my PGP Key to a more secure 4096 bit RSA. The new fingerprint is AF03 1CB8 DFFB 7DC5 E1EE EB04 A7C9 FF06 3F3D 2E03 I signed the new key with my old key and uploaded it to the keyservers. My old key will be valid for a little longer, so you can still send me encrypted Mails using my old key, but I would ask you to transition as fast as possible to the new one....

October 3, 2013

Lazy blogging with jekyll

I put up a small script to automate creating blog-posts in jekyll

September 28, 2013

First-year introductory course for programming

I gave a very introductory programming course and saw once again how the basic ideas underlying the modernization of teaching just work when implemented right.

September 28, 2013

Relaunch

The (n+1)th launch of my blog

September 28, 2013