Impressions of WeAreDevelopers 2018 - Day I
We Are Developers is one of the largest developer conferences in central Europe and took place between the 16th and 18th of May this year. I was very lucky t...
We Are Developers is one of the largest developer conferences in central Europe and took place between the 16th and 18th of May this year. I was very lucky t...
I own a Synology Diskstation NAS and use Synology Cloud Station Drive for syncing some documents and configuration files between PCs. Reason being: Dropbox t...
It’s that time of the year again. That time when I remember that I have a blog and maybe should write something now and then. Well here goes.
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...
I have been working on a small side project for a couple of weeks now. Thematically, it’s nothing too exciting. Just a self-hosted web application to write m...
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...
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...
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 ...
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...
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...