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.

There is a Chinese proverb which states:

The beginning of wisdom is to call things by their proper name.

This proverb is generally understood to be a summarization and paraphrase of an actual quote from the "Rectification of Names" section of the Analects of Confucius. (See Wikipedia - Rectification of names)

GitHub project: Rumination

Making plain old java objects aware of their own mutations.

NOTE:

This project has been retired. The github link does not even work anymore.

This page only serves historical documentation purposes.