Farewell Disqus
Just wanted to let you know that for various reasons I’ve migrated the comments of (think) from Disqus to Hyvor Talk. I’ve described the process in a dedicat...
Recent Posts
Basic Git Setup
Every time I change my computer or my operating system1, one of the first things I have to do is to configure Git. This article simply covers the basic Git s...
Rename Multiple Files in Linux
From time to time we need to rename a bunch of files according to some pattern. One simple example that comes to mind is that recently I noticed that some a...
HEY
That’s going to be one really short post. I just wanted to share with you that I’ve been using HEY (a new e-mail service from Basecamp) for the past few mon...
Ubuntu Tip: Removing All Packages Installed from a PPA
PPAs (Personal Package Archives) are a popular way to install pre-built packages that for some reason are not (yet) available in Ubuntu’s standard package re...