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