Generating animated GIFs.

For future reference. This is how I record an animated GIF that can subsequently be tweeted. First I record video to an .ogg file using:

$ simplescreenrecorder

Then, I convert the .ogg file to a .gif file using ffmpeg. In this example, I skip the first 4 seconds of the input, and write as 30fps output:

$ ffmpeg -ss 4 -i in.ogg -r 30 -pix_fmt rgb24 out.gif

The resulting video will look something like this:

New Beginnings.

I was at Schiphol yesterday, and took this picture. The billboard and the airliner reminded me of June 2007 when I packed up some essentials (mainly clothing and a PS3), and was on a plane to Vancouver to start a new job with Slant Six games. I knew nobody in Vancouver, so it was quite a big step. It turned out I loved it, and since dec'13, I am a Canadian, father of two little Dutch Canadian kids. This new beginning worked out well for me.