Category Archives: Geek Stuff

I’ve always felt a certain undercurrent of awe at how elegant and beautiful the idea of a mathematical proof is. Don’t get me wrong, I’m not a math geek, but I can’t help but admire the beauty of the proving … Continue reading →

TL;DR: Use this script. I’ve been working on an ansible script to set up web hosting (because cheap VPSes are cheaper than cheap shared hosting for the features I want) and, since I don’t like having to put in effort … Continue reading →

TL;DR: Here’s some example code. (backup copy) UPDATE: It now also has the code to watch for the active window’s title changing without the window having to lose and regain focus. I needed to explain to someone the proper way … Continue reading →

After using OpenCV to skip post-roll ads, I wanted to share the relief with family who don’t launch their video players from the command line, so I researched how to associate the resulting .mpv.edl files with MPV so they could … Continue reading →

From time to time, I run across situations where the linkifying Greasemonkey script I use mistakenly includes a closing parenthesis in what it considers to be a URL. Given that I can’t remember a single situation where I needed to … Continue reading →

UPDATE: I’ve received a response from Cloanto and, after talking to a real human about this, I’m convinced that this is mostly, if not entirely, a pile of unfortunate mistakes that they sincerely want to get fixed. I’ve added notes … Continue reading →