Recent Posts

Raspberry Pi Homeserver - Part 2

4 minute read

I purchased and configured a Raspberry Pi 3 a couple of months ago. Back then, I wrote about some basic set up and future plans. I haven’t had to opportunity...

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...

Learn Myself a Haskell

7 minute read

Once upon a time I actually studied mathematics. Overall it wasn’t a particularly pleasant experience. I guess although I was pretty good at “school mathemat...

Better OOP?

6 minute read

I had and have the pleasure to take part in Object Orientated Programming, a course taught at the TU Wien this semester. OOP is a mandatory course, taken by ...

Using Jetbrains RiderRS on Ubuntu 15.10

4 minute read

A couple of days ago Jetbrains released the first version of Project Rider in an early access program. If you know me personally you probably are aware that ...

Python Challenge - Part 1

7 minute read

A couple of days ago my girlfriend told me about this quiz she found - the python challenge. Its basically a web quiz containing levels and you progress leve...