A short overview on how I self-host. | Continue reading
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. | Continue reading
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 algorit … | Continue reading
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 … | Continue reading
My experience of using forums in my teens, what changed after I started using reddit and my hopes for internet communities in the future. | Continue reading
Using the weechat trigger plugin to notify yourself about new private messages and mentions through the ntfy.sh notification service. | Continue reading
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. | Continue reading
Quick fix for the "no such file or directory" error after enabling CGO, when running in a scratch docker image. | Continue reading
Walkthrough on how to setup the WeeChat IRC client in docker. | Continue reading
This site now supports sending and receiving webmentions and surfacing structured data using microformats2. | Continue reading
Learn how to setup affordable image hosting for your personal website with Storj.io and Cloudflare. | Continue reading
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! | Continue reading
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. | Continue reading
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. | Continue reading
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. | Continue reading
Learn how to connect your phone audio to your PC over wire or Bluetooth. | Continue reading
A simple way to filter by optional values in SQL with the COALESCE function. | Continue reading
How to properly deploy a Vue.js app on GitHub Pages | Continue reading