Code Archive

I tried to launch an EC2 instance using different methods, but boto and lambdas failed consistently with "Server.InternalError", but the machine could be started just fine from the command line or the web console. It took a while to figure out the problem: an encrypted EBS volume was attached, and … more

I tried to run the OpenAI command line tool codex, but at some point it started throwing 401 errors, and then rate limited me. I checked my environment variables, tried configuring API key permissions, created a new one, and other random stuff. My credit balance was positive, around $5, and … more

I've had enough. I needed to work, and needed to use docker, and the default docker network conflicts with the IP address on the wifionice network on the train. Well. Instead of stopping docker and cleaning up everything, why did I not simply reconfigure docker to use a different network? … more

I was working on a personal project, a simple API using flask, and was annoyed that there was no dark mode when I opened endpoints for testing in my browser. The solution was rather simple, I added a jinja template for the HTML that contained the dark mode CSS in … more

Vivaldi is one of the browsers I use, and recently it started to scale incorrectly on my 4k displays. Both menus and web sites were too large, gtk and web. The fix is pretty simple. more

Just a small script I use to stabilize random videos. more

Invidious is an open source, privacy respecting frontend for youtube. Youtube fights it and and so it breaks occasionally, and the instances are mostly run by enthusiasts, so you can't rely on them to keep your subscriptions and view history forever. I back up my data by creating accounts on … more

Sometimes I connect to a customer's VPN for work, but I don't want all DNS traffic to go to the customer's nameserver. So I installed and configured dnsmasq to prevent this. I run my own nameserver on my network and connect to it by default so that I can resolve … more

I wanted to generate word statistics for a big amount of files, so I wrote this script. What it does is to remove special characters from filenames, and to split the filename into words. The extension is thrown away. more

The split (1) tool is quite useful, but it doesn't recognize quoted fields. This is my solution to this problem. more