Blog 📖

Subscribe to my blog via RSS

Getting the Absolute Path of a Remote Directory in Ansible

9/20/2023
Getting the Absolute Path of a Remote Directory in Ansible

There is no builtin way to convert a relative path to an absolute path in ansible. However we can use the readlink command for this.

Automated Planning using Property-Directed Reachability with Seed Heuristics

5/6/2023
Automated Planning using Property-Directed Reachability with Seed Heuristics

Masters Thesis. The goal of this thesis is to implement a pre-processing step to the Property Directed Reachability algorithm, to potentially improve the run-time performance. We use the pattern database heuristic to make use of the planning task structure for the seeding algorithm.

Weechat Notifications with ntfy.sh

3/28/2023
Weechat Notifications with ntfy.sh

Using the weechat trigger plugin to notify yourself about new private messages and mentions through the ntfy.sh notification service.

Fix Network Connectivity in WSL2 with Cisco AnyConnect VPN

3/15/2023
Fix Network Connectivity in WSL2 with Cisco AnyConnect VPN

I ran into problems using Cisco AnyConnect VPN from inside of WSL2. I'm sharing my solution as a step-by-step guide for my reference and to help anyone with the same problem.

"no such file or directory" after enabling CGO in Docker

1/24/2023

Quick fix for the "no such file or directory" error after enabling CGO, when running in a scratch docker image.

SvelteKit Server-Side Rendering (SSR) with @urql/svelte

9/26/2022
SvelteKit Server-Side Rendering (SSR) with @urql/svelte

Learn why server-side rendering (SSR) using urql as a GraphQL client is not as straightforward as you might think and how to do it anyway.

First Go Project: A Jam-stack Commenting API

7/12/2022
First Go Project: A Jam-stack Commenting API

I built my first project using the Go programming language: A commenting API for the jam-stack. It is simple but easily extensible. And it powers the commenting feature of this website!

You should be using RSS

6/5/2022
You should be using RSS

Decide exactly what you want to read and escape the social media algorithms. How an old protocol called RSS can give you back the autonomy about what you read.

How to set up an SSH Server on Windows with WSL

3/2/2022
How to set up an SSH Server on Windows with WSL

It can be very helpful to be able to connect to your laptop or desktop PC from anywhere using SSH. I will show you how to easily set this up on Windows with WSL.

Modelling Git Operations as Planning Problems

1/20/2021
Modelling Git Operations as Planning Problems

Bachelor Thesis. The goal of this thesis is to formally define a model of a subset of Git commands which mutate the revision graph, and to model those mutations as a planning task in the Planning Domain Definition Language. Multiple ways to model those graphs will be explored and those models will be compared by testing them using a set of planners.

How to write optional filters in SQL

7/11/2019
How to write optional filters in SQL

A simple way to filter by optional values in SQL with the COALESCE function.

Built with SvelteKit and hosted on GitHub Pages.

View this website on GitHub!

Other pages