Category Archives: Geek Stuff

How To Extend A JavaScript API Based On Promises/A+

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….I was writing a little unsigned “dump my tabs”  WebExtension for … Continue reading

Posted in Geek Stuff | Leave a comment

A couple of simple proofs, made easier to grasp

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’ve always felt a certain undercurrent of awe at how elegant … Continue reading

Posted in Geek Stuff | Leave a comment

Things You Might Not Know About robots.txt

While bringing one of my old sites up to spec, I realized that I’d never actually looked into robots.txt beyond copy-pasting ready-made directives. So, without further ado, here’s a list…While bringing one of my old sites up to spec, I … Continue reading

Posted in Web Wandering & Opinion | Leave a comment

Checking if daemons have been restarted

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)…TL;DR: Use this script. I’ve been working on an ansible script … Continue reading

Posted in Geek Stuff | Leave a comment

Watching For Changes in Window Focus Under X11

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…TL;DR: Here’s some example code. (backup copy) UPDATE: It now also … Continue reading

Posted in Geek Stuff | Leave a comment

Making MPV EDL files double-clickable on Linux

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…After using OpenCV to skip post-roll ads, I wanted to share … Continue reading

Posted in Geek Stuff | Leave a comment

A Better Linkifying Regex

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…From time to time, I run across situations where the linkifying … Continue reading

Posted in Geek Stuff | Leave a comment