Category Archives: General

Suppose you need to keep siblings, roommates, children, or even friends with wandering hands out of something, but you can’t use a lock. Maybe you’re worried they’ll find the key, maybe you need something that has no metallic parts, or … Continue reading →

I was writing a little unsigned “dump my tabs”  WebExtension for my Firefox Developer Edition when I realized that, outside the jQuery world, I’d only ever used old-style callbacks before. “No biggie”, I thought. It shouldn’t be too hard to … Continue reading →

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 →