Blog posts
Rescuing NixOS stuck on Stage 1 boot
When my main server was refusing to boot past Stage 1 and all of my NixOS generations were indefinitely waiting for a kernel module, vfio_pci, to load, I had to rescue my system. So I live-booted on the machine and rescued it as I describe here.
My research paper on Functional Paradigms and LISP
Here I talk about the seminar Open Distributed Systems at the Technical University Berlin, present my experiences researching Lisps, Functional Paradigms, and their uses in enterprise environments, and present my research paper on these topics.
Setting up Netbird with Zitadel on NixOS
Deploying Netbird's management server on NixOS proved particularly difficult since no step-by-step guide was provided for NixOS. I had to go off reading documentation at many different places, including source code, and experimenting. Eventually, I was able to get a working setup after some trial and error, and debugging.
How to cope with losing a public IP as a homelabber
What happens to your services when your residential IP address gets put behind a CGNAT? What is NAT and how does it work? Here I answer these questions, and talk about how I designed my network.
Setting up Seafile on NixOS
After I decided I wanted to set up Seafile, a file server, I found little documentation for NixOS. After experimenting with the options, and asking the maintainer for help, I finally got a working configuration, and decided to write a wiki entry as well to help future NixOS newcomers.