Wow, a researcher from a German university sent me a survey about copying code from Stack Overflow — and not just randomly! Because they found a snippet in one of my repos.

So, SO answers are CC BY-SA licensed, which is terrible (you basically aren’t supposed to use it in BSD/MIT/ISC or CC0/Unlicense/WTFPL code!)

But that particular project was GPL licensed, which is compatible with Share Alike! And that’s particularly amazing — most of my projects are under Unlicense or ISC. I just decided to use the GPL for that one because it was an Android GUI app.

Upgraded my phone to CyanogenMod 14 (Android 7.1). Dirty flashed over CM13, everything went smoothly. Using Tingle to apply the signature spoofing patch for microG now, instead of Xposed.

If you’re going to do the same: the first boot after an upgrade — including a Tingle patch — takes some time, don’t panic. Also, Wi-Fi only started connecting correctly after a reboot.

Qt Quick 2’s high DPI scaling is utterly ridiculous. Automatic scaling only uses integer factors, which means comically huge UI elements on a 4K desktop monitor where 150% is the appropriate factor — it literally gets rounded to 200%. The weirdest thing though: fonts sized in points are scaled to the exact DPI of the monitor, ignoring the rounded UI scaling factor. Which means that the UI elements on my desktop are bigger than on a low DPI monitor, relative to the text inside of them. What were they thinking?!

When will UI toolkit developers STOP believing that non-integer scaling is bad?