Idris is the obscure version of Haskell

People here running *nix OSes while I run a Nix*OS

NixOS store (app folder) is read only. You literally can’t mess with it. It doesn’t really need a container, most things are locked down already. Of course you could mess up your home folder, but that’s on you then

It’s only correct if the picture features five men

Which is exactly what you can do in linux, live patch the kernel and carry on

So you never did windows update

NixOS solved this. You can install both deps from two different channels.

Except when it force closes your computer when you dismiss the windows update too many times

Most normal people only ever use the browser. Even image or video editing is niche for the average person

NixOS builds are all vetted

Found the guy who never updated his windows since ME

That’s why I use NixOS. 100,000 packages so you really found something niche if it didn’t have it

I haven’t had a driver issue except for Nvidia where the driver exists, but it sucks

I remember going to source forge to download MPC-BE

Later found out that they were adding adware to executables

I got this when I didn’t have the correct .NET installed

I’m not paying for pro

https://github.com/mozilla/TTS

Also tortoise tts and a few other options

It was actually 2022, the year when steam deck released. The proton compatibility shot through the roof. Linux now supports a far wider array of software than MacOS, even.

Yeah, I’m just testing it out. For a true Duolingo experience it would need fill in the blank and audio

We’re talking about, say, learning Spanish and Duolingo be like “now translate this very long and overly specific sentence to English”

Then you end up trying to construct the English sentence even though you’re learning Spanish

Here’s an example where I think my sentence is perfectly fine, but it just expected a different word order. It expected me to put If at the beginning, but I didn’t notice it was capitalized.

Korean doesn’t even have capital letters, why is it doing some gotcha about English capitalization when I already know English?