• How to develop Flutter apps for Windows desktop (August 2020)

    Flutter is an awesome framework for developing native cross-platform apps with a single code-base for Android, iOS, Windows, Linux, and macOS. In this blog post, I’ll explain how to set up your computer for developing Flutter apps which you can run on Windows desktop.

  • Installing Spin Model Checker including iSpin on Ubuntu 19.04

    For the lecture Advanced Software Quality at Aalen University, I had to demonstrate the usage of Spin model checker for the verification of software models. iSpin represents a graphical interface for editing and executing models and for analyzing the results. iSpin invokes Spin commands in the background and graphically presents the results.

  • Nextcloud desktop client gets stuck on 'Account access' view / during login

    Having set up Nextcloud with Docker and secured over TLS, I wanted to connect my Netcloud desktop client. I was successfully able to login into Nextcloud in my browser. But somehow, the desktop client would always get stuck on the login page of Nextcloud.

  • Run Nextcloud as Docker container with Docker Compose

    I’ve set up my private cloud using Nextcloud. Because I’m a huge fan of Docker, I decided to run Nextcloud as a Docker container. Luckily, there’s an official Docker image and they also provide examples on how to run Nextcloud with a standalone database using Docker Compose.

  • Transfer files using a USB cable to the reMarkable

    I decided to try out a so called digital notepad for university so that I can take notes on my lecture manuscripts. I ended up buying the reMarkable because it seemed to be the most complete concept (there are a lot of hacks available on Github to fix some of the reMarkable’s flaws).

  • How to create user interfaces in Unity for Google Daydream VR apps

    In the last two months, I’ve been experimenting with Google Daydream View and I created a few demo applications in Unity. Throughout my experiments, I stumbled upon the difficulty to create user interfaces in VR. In this blog post, I’ll describe how you can create UIs for your VR app build with the Google VR SDK for Unity.