This tutorial focuses on the practical aspect of using precedence climbing to parse expressions using pest. To illustrate this we build a parser for simple equations, and construct an abstract syntax tree. This article is written together with @wildarch.

In this post I want to discuss the Qt6 addressbook example, which is used to explain model/view in Qt. I will show how we can modify this example to a more maintainable architecture by decoupling the widget and the model. The original example can be found in Qt creator. The modified code can be found at my GitHub.

This is part two of a series, part one can be found here. In this post we will investigate how we can print using semihosting. In the previous post we noticed that puts was used to print a string to stdout.

When developing software for ARM microcontrollers there is a big chance that you want to use semihosting. Using semihosting you can send debug messages over SWD of JTAG using the debugger. This makes development easier as you do not need an other peripheral. I found that setting up semihosting myself was quite confusing. If you browse the internet there are some posts and guides on how to setup semihosting, but almost none really explaning what is going on internally. In this post I will dig deeper in to how it works.

This post is a simple introduction modelchecking. The goal of model checking is to verify if the behaviour of a system is as intended. This verification is especially usefull for safety-critical systems. Here are some examples: For the software in a car you want the brake pedal to always make the car brake, you do not want the turning on the radio can effect this behaviour. For the traffic lights of an intersection you never want two crossing lanes to have green light at the same time. A second intended behaviour of a traffic light system is that every lane will get green eventually.

This is a little introduction to who I am. I have always been intrigued by technology. When I was in elementary school I was trying to understand how planes and engines worked and then tried to design them myself in paint :).

In highschool I became interested in computers because I started gaming. I wanted to write a game myself so I tried to build something in Unity3D. In university I studied electrical engineering and embedded systems and learned a lot more about hardware and software design. I am currently working as an embedded software engineer, which is a lot of fun.