Is there some kind of open format for music playlists? Plain text being one choice obviously. But something that works across multiple streaming services. Or your own collection of audio files.
Binary expression trees -> Post-order traversal -> Reverse Polish notation.
Awesome.
Awesome.
You won’t believe this one cool trick to improve the efficiency of your exponentiation. #mathsclickbait
Exponentiation by squaring. O(log n) rather than O(n). Algorithms are cool!
Plans for custom ROM scuppered by unlockable bootloader, but phone running much more freshly anyway following factory reset. Without ability to get latest security updates will have to approach security through other means.
Org-mode to taskjuggler export, this is awesome. All open-source, open formats.
Postcode search seems to be a bit lacking in OSM. I.e. my postcode doesn’t exist.
Book of Dissent
First things on new phone: OpenLauncher, Etar calendar, anysoft keyboard, Amaze file manager.
First things on new phone: orgzly