Signed blog posts

I sign my blog posts.

January 23, 2014

Incentives in education

I hate software-engineering as it is teached in Heidelberg. Really.

December 16, 2013

ext4: Mysterious “No space left on device”-errors

ext4 has a feature called dir_index enabled by default, which is quite susceptible to hash-collisions

October 20, 2013

Using i3 and vim to keep a set of notes at hand

Put a terminal with a vim-instance in an i3-scratchpad, combine it with autosave-when-idle and you got the perfect note keeping workflow."

October 20, 2013

Tic Tac Toe AI

I wrote a simple Tic Tac Toe AI as an exercise. You can get it on github.

October 19, 2013

Inject Environment variables into running processes

Using gdb to manipulate a running process is fun and just the right amount of danger to be exiting

October 11, 2013

How to C-Golf

We had a codegolf challenge recently. My C-solution was 246 byte, the perl-winner was 191. I decided to give notes for C-golf beginners.

October 11, 2013

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