


Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, “move fast and break things” approaches
AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0
This profile is from a federated server and may be incomplete. Browse more on the original instance.
Shoutout to fwupd for updating device firmware (github.com)
It updated a Thinkpad dock with no issues while on Windows, I had to find specific drivers and sketchy update utilities. Awesome!
How does one be a good mod?
Im trying to avoid being a power tripping mod, and I recently got a rude message who had a 1 day ban because he wanted to use the f-slur. Again after being warned....
Why is everything a sequel, reboot or remake? (collider.com)
So I thought The Creator was brilliant. I watched it in the cinema, thoroughly enjoyed it and was gobsmacked when I learned it's budget was only $79 million. It looks better than some films I've seen that cost three times that....
Distro for experienced Linux user
Hi, I’m looking for a distro for my laptop. My first distro was Pop!_OS, then I switched to Fedora, then Arch for a year and 2 months ago I switched to Fedora Silverblue, because I wanted to try immutable distro that relies on containers and flatpaks to be usefull. Silverblue is great but not so much for me, its not flexible...
Is there a Linux based OS for public computers, such as at a library or a PC cafe?
Title. Mainly asking for the library side, but PC cafe is also interesting to ask about....
What's your preferred DE?
I’m currently testing Fedora KDE on a VM (windows host) before eventually switching over to Linux completely.
I made a thing to make playing YouTube videos locally from your browser easier (gitlab.com)
The other day someone was complaining about the new ad blocker-blocker on YouTube and I mentioned that it might be fun to write a Firefox extension that would just load up yt-dlp and play the video through mpv....
How to organize images with custom tags?
Hello! I have a bunch of photos all mixed together, and I’d like to sort them out in order to better find the ones I’m searching for without loosing half an hour. I was thinking of adding custom tags to each image (manually), like “my dog”, “trip to Paris”, “my friend X” etc. I’d like this tag system to be...
Guitar Virtuoso - A community aggregator for virtuoso guitar performances caught on video. (infosec.pub)
We moved to infosec.pub...