Recent Posts

Raspberry Pi Homeserver - Part 1

3 minute read

I finally folded and bought myself a Raspberry Pi 3. I have been thinking about using one as a media server on my home network for quite some time now. Holid...

Some DOs and DONTs of Public Speaking

4 minute read

This post might be kind of stupid. I’m by no means an experienced public speaker. However, I DID have to do a couple of presentations this past half-year, an...

Getting Started with Java Pathfinder

3 minute read

Java Pathfinder (JPF in short) is a model checking tool for Java programs. Model checking is an approach to formal verification and can be used quite nicely ...

Installing Reactive Banana on Ubuntu 16.04

3 minute read

In the days leading up to the Christmas holidays last year I was searching for a little project that I could work on. After some consideration I settled on t...