Adding Shields.io badges to your GitHub profile
A GitHub user profile page can be a great place to show off what you’re interested in and what experience you might have. Rather than presenting a wall of t...
Recent posts
Basic Python project setup
Setting up an existing Python project from a fresh clone shouldn’t be a chore. Automate the process with a setup script.
Unnecessary upload evasion with lftp mirrors
I’ve been using lftp’s reverse mirror feature for years to upload files to this blog. I’d never worked out how to avoid repeated file uploads. Until now.
Evaporating a pot of water
As part of tutoring physics and maths to high school students, I sometimes write up deep-dive explanations of questions arising during lessons. The question...
Correcting iBus/X-Windows compose key conflicts
Did you know that iBus can cause the compose key to stop working in X-Windows on Linux? I didn’t either. The solution in my situation: if in doubt, leave i...