Blog
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
Passwords and sync were broken on my Vivaldi for a while. Here's how I fixed it. more
For the last two years, I had tried to solve non-trivial programming tasks with LLMs, but none could deliver anything that satisfied me. This changed a few months ago, and after some early successes and failures, I tried a more systematic approach and have established an AI assisted workflow that works well.
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
Humans have used money since time immemorial because barter is impractical. Over millennia time and again "harder" monies won out over others. But what does that actually mean?
more
When I was a child, I saw the price of one scoop of ice cream rise from 10 to 15 or 20 cents. I was outraged, and then an older man told me that in his childhood a scoop of ice had only cost one cent. That shut me up and confused me entirely.
more






























