They revoked the “English only” rule in August. Source.
They revoked the “English only” rule in August. Source.
“Why not? You and I are eccentrics. We’re certainly not typical of the people living on Terminus. As for criminals, that’s a matter of definition. And if criminals are the price we must pay for rebels, heretics, and geniuses, I’m willing to pay it. I demand the price be paid. […] You can’t have geniuses and saints without having people far outside the norm, and I don’t see how you can have on only one side of the norm. There is bound to be a certain symmetry.” - Foundation and Earth by Isaac Asimov
I agree, I’ve always used sudo apt update
, sudo apt upgrade
and flatpak update
on Pop OS and never used the pop shop.
There are a ton of good content creators I follow, mostly in the edutainment field; I’ll post three of them (the first three that came up in my mind) for the YouTube and Podcast category
YouTube:
Podcasts:
I’m using PocketCasts and I paid a one-time fee before it became subscription based (but there’s still a free tier), in order to be able to listen to podcast using the web app on PC. Thus I now have lifetime premium access.
I’m very satisfied with their service, I did not find any problems with both the Android app and the web app, moreover it has almost every feature I need, except voice to text conversion in order to be able to share slices of audio in text format (but there are dedicated apps for that).
Pop_OS on both laptop and desktop, since it has integrated nvidia graphic drivers and handles them without too much hassle. Before switching to Pop_OS I used to use Fedora for many years.
Is that an OCaml reference/joke?