I have been researching clipboard managers for Linux, (Ubuntu with Gnome,) and I am recording my findings here for the benefit of others.

This is an article I enjoyed reading. I am in full agreement with every claim made therein. It was very nice to see certain conclusions that I have arrived at in the past being spelled out and illustrated with nice explanations.

https://medium.com/@egonelbre/psychology-of-code-readability-d23b1ff1258a

Old comments

• gmc 2019-09-16 19:05:24 UTC

  About naming, this is a brilliant podcast on the subject that i think should be required listening for any sw engineer: https://www.se-radio.net/2016/12/se-radio-episode-278-peter-hilton-on-naming/

  Read more »

My apartment is equipped with a Ferroli BlueSense boiler, which I needed to troubleshoot today, but the manual is in Dutch, so I had to find the manual in electronic form on the interwebz, and have it machine-translated to English.

I am posting both the original and the machine-translated version here, in case others find it useful.

Ferroli BlueSense Boiler 3, 4 and 5 user's manual in Dutch (PDF)

So, I have this huge mp3 collection that is mostly missing cover art. I embarked on a quest to add cover art to each mp3 file, and before long I realized that I need some software to help me with it. Here I am documenting my findings.

In this post I am documenting the process of rooting my Samsung Galaxy Note 4. It should work on the majority of Android phones out there.

[

I have a large number of mp3 files, all of them with embedded album art, but when viewing them via Windows Explorer, I see generic music file icons instead of album art thumbnails.

Generic music icons. Ugh.

I spent a good couple of hours troubleshooting this problem, so I would like to document the solution for anyone who happens to go through the same pain.