Which shell to use? bash, zsh, fish, something else?
I have been using bash as a shell for as long as I remember and added prompt customization for almost as long as I remember. I felt the urge to revisit this ...
I have been using bash as a shell for as long as I remember and added prompt customization for almost as long as I remember. I felt the urge to revisit this ...
Econtalk is a good podcast where interviews bring you to ideas you have not thought of or crystallized before. Uncharted with Margaret Heffernan is one of th...
Importing Evernote notes into a new tool can sometimes fail mid way. This post explains how to work around it. As I explained earlier, I moved away from Eve...
Max Andersen asked something interesting over the week-end on Twitter. What is an example of a java library that solved your problem just nicely ? Can be...
I am on the market for a new notes application, I have been asking around for advice. Here is the list of apps and a short analysis I did for each. My use c...