Tech, life and everything else
More for fun than being really useful, here’s a little tutorial on how to use Firefox on Chrome OS (Flex) (for me, it’s currently version 100 in the Dev Channel). But beware, the user experience really leaves a lot to be desired…
After a bit of consideration and a poll on Fosstodon, which shows a clear result even before it ends, I decided to rename this blog from “jlelse’s Blog – Thoughts, stories and ideas” to “Jan-Lukas Else – Thoughts of an IT expert”. Likewise, my German blog from “einGeek – Mehr als nur Internet und Programmieren” to “Jan-Lukas Else – Gedanken eines IT-Experten”.
I blogged that I could not run Linux support (Crostini) on CloudReady and Chrome OS Flex. Every time I tried to enable Linux support in the settings, the activation failed with an error.
I recently installed CloudReady on my ThinkPad. Unfortunately, the Linux feature is not available there because microcode updates are missing, there is no BIOS update and Crostini is quite strict about security.
🖼️ View
Ok, so I have now installed CloudReady, switched to the beta channel as well, but I can’t use Linux because my CPU is not secured against Spectre/Meltdown and CloudReady doesn’t come with microcode updates. Until that comes, my ThinkPad will probably only be for browsing, watching videos, and blogging…
Update: Fixed it.
At first I missed the news, but today I somehow stumbled across it: Google has released an early access version of “Chrome OS Flex”, as a result of the integration of CloudReady into Chrome OS. CloudReady also ran under my radar until today, but I did take the time to give both a try.
Deezer announced today that it is raising prices in Germany and Austria for new customers. Premium now costs 1€ more. But (for new customers) Premium also includes Hi-Fi directly.
I probably spend more CPU cycles optimizing the program than the program optimization will save in CPU cycles. 🤔
I read this very long article about Telegram today and somehow it left me with mixed feelings. The article is also from WIRED, but it offers more balanced coverage than an article from a year ago.
It’s been about one year since I switched to Deezer. Yes, I switched before Spotify became uncool! 😁 So, how happy am I with Deezer today?