Let’s start with some background information on how I got here. I already made apps for native Android in Kotlin, apps for Android and iOS with React Native, and shortly decided to use Flutter for a small app for a small company. It was very clear what the upsides and…

Hosting on Sia can be cumbersome but this post will guide you through it. I’ve heard about Sia quite some time ago and thought it was very interesting to bring our storage needs in the hands of the general public. A lot of people have unused storage space. Currently there’s…

Distance is something peculiar. It’s very hard to gauge if a celestial object is far away and bright or close and dim. We know that the closest galaxy, Andromeda, is ~2 537 000 light-years away and that Eta Carinae, one of the Milky Way’s brightest blue supergiants, is distanced at…

Event-B is a formal method for system-level modeling and analysis. Key features of Event-B are the use of set theory as a modeling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels. The main use…

There are a lot of programming languages out there. Some are well known, others are not. Go through this journey of the Prolog programming language and its derivates with their own use cases. Instead of imperative programming, Prolog needs declarative programming. You describe the problem and it finds a solution…

Computer vision is an interesting topic lately due to autonomous cars, augmented reality, ANPR cameras, etc. Cloud computing has long been the way to go due to computational restrictions on edge devices, but the tables have turned. NVIDIA has done a great job with their Jetson devices, starting with the…