Changing a hostname in Debian seems harder than necessary
Changing a host’s name in Debian1 is a two-step process, and there doesn’t appear to be a more direct method. This seems odd to me, somehow. Because I stum...
Recent posts
It’s not DNS; it was DNS
Logging in to a VPN shouldn’t cause DNS to stop working, right? Well, you’d like to think that, wouldn’t ya? And the problem wasn’t PEBKAC this time, eithe...
My (current) blog article writing process
As with my work, when I write articles on my blog, I have a focus on quality. Here I describe my current writing process, primarily to document things for m...
An unhinged carriage problem
As part of tutoring high school students in maths and physics, I sometimes run across problems that I find interesting. Here’s a deep dive into one involvin...
A detailed description of the pull request process
A while ago, when sharing some code with friends, I asked for feedback, when possible, as a pull request to the repository I’d shared. One friend replied al...