

I think you need a lesson on recognizing cynical sarcasm.
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
I think you need a lesson on recognizing cynical sarcasm.
It’s a Red Herring, pushed by corrupt DNC operatives that seek to misdirect voter rage toward perpetuating the closed two party system. The real culprit is #FPTP.
No hard feelings! :)
Yes. But it was pretty tough to use gvolpe’s config as he had all kinds of git-crypt stuff I needed to unravel. but I eventually got there and now I have a fleet of machines with configs based off of it with all kinds of idiosyncrasies depending on the machine. It’s quite elegant once you tame it to your will. I had a super smart German bud of mine almost give up but I kept helping him until it worked.
Haskell has a pretty tough dev experience if you don’t get Nix involved, IMO. I got involved in all of this because of Cardano, so I was instantly a flakes, Haskell, and NixOS advocate right away. It has the capability to tame incredibly complex stacks. If you revisit Haskell, do yourself a favor and do it from within a custom IOG Nix Devshell. Life is SO much more locked in there. Ps. Ghcup simply doesn’t work in NixOS because it flies counter to the NixOS way, though I’m pretty sure you could get it to work using fhs derivations or whatever. There’s a lot to relearn in the world of NixOS but, IMO, I’m just learning the RIGHT way and trying to drag the Docker fanboys along for the ride with me. :)
Fair enough. Fangs retracted. 🙏
Because, as you alluded to, it simply cannot break.
It is formally verified. In fact, it’s the only window manager (tiling or otherwise) that can claim that. Formally verified means there are virtually no flaws in the code and it will continue humming along as long as you present it with a valid config.
If my config compiles, it will work in XMonad. Only NixOS and GUIX offer the same compilation-tied-to-validity of a config…and I like that a LOT. I actually started learning Haskell by building out my own config (which was forked from this absolutely incredible master class in NixOS configs by gvolpe). I even built a DSL in Haskell in two hours that flawlessly controls my smart appliances with hot keys I programmed.
Also, I have it wired into my NixOS config so it is plug & play for me. I could switch to Hyprland in a heartbeat but honestly…I dislike it. Config files should be in a format that DOESN’T suck ass, IMO.
Perhaps if they’d switch to using Haskell for config files, I might consider it but those GPU intensive animations aren’t worth it also. Work continues to replace XMonad with a worthy Haskell successor and I’m honestly in no rush to switch until it’s done.
tldr: In a phrase: Xmonad just works.
Ps. When I compare the Xmonad part of my config with the Polybar part of my config, the difference is stark. In XMonad, I feel free to sculpt the experience in any way I want. In Polybar, those FUGLY .ino files are a curse upon mankind that needs to be eradicated by elegant software like XMonad. (though XMobar didn’t impress me, weirdly enough)
Nothing else compares. I’m begging for an explanation on why you’d go out of your way to shame another person for what software they prefer. I’m terrified it’s related to being unable to think for yourself.
Wake me up when Waymonad is released.
XMonad for life.
Geerling is a YouTuber
Thanks for posting! This absolutely belongs here! 🤘🤘🤘🤘
/r/Cardano: [email protected]
For some reason, very few people interested in cryptocurrency practice what they preach. The people (to me hypocrites) prefer instead to use a closed-source centralized platform to talk about an open-source, decentralized currency. Baffling. The only crypto people that seem to practice what they preach are my monero buds.
/r/ArtisanVideos
It’s a ghost town without my posts.
And so many more that I moderate but refuse to close.
The only community I started that has been successful is EnoughMuskSpam
Yeah. I started on world and accidentally made my password too long to ever login again. It was a wonderful accident.
Welcome!
Now that the election is over and the shitlibs on world can pretend that Trump is the only demagogue to blame for the ongoing genocide, you might be fine.
If I were you, I’d switch before you share your opinion somewhere that [email protected] or [email protected] can censor or even ban you.
I’ve seen people banned and their comments removed for having the audacity to question the official braindead Reddit hivemind lib narrative (pro-DNC no matter how demonstrably corrupt they get because “have you seen the other guys?”, anti-Single-Payer, conveniently pro-Ukraine while hypocritically anti-Palestine).
It’s pretty easy to switch nowadays.
Makes sense.
Lemmy.world is filled with censorship and genocide apologists. It’s basically an exact clone of Reddit’s culture of smug libs that look down their noses at other poor people while working tirelessly against their own best interest by supporting corrupt oligarchs that weaponize identity politics as a highly effective dog whistle.
If you can use another method, disabling SSH entirely would do it. ;)
This is how Talos Linux achieves best-in-class security properties.
https://www.siderolabs.com/blog/how-to-ssh-into-talos-linux/
I’m impressed that a pro footballer found Lemmy. Welcome!
You need to disable JavaScript to read my blogspam.
I read four words then was hit with this.
You’ve just hit the article limit with your free Sifted account.
Ok, ok. If you insist. I won’t read your article.
Yes. And each of them is regressing into corporatism/neoliberalism because of it.
Fuck.
This is going to be a hard boycott.
Quite literally the one director that could get me to see an Amazon-owned Bond film. Still, I’ll pirate the shit out of it.
Do people in China pay rent? I heard that rent is based on income so if you lose your job, you pay no rent.
I’m genuinely curious about exactly how communist China is and what differences there are between US and Chinese society. Seems like a hybrid of capitalist and communist.