Skip Navigation

User banner

demesisx

@ demesisx @infosec.pub

Posts
5
Comments
403
Joined
3 yr. ago

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

  • Deleted

    Permanently Deleted

    Jump

  • This is really cool.

    It reminds me of the Edinburgh Decentralisation Index: an academically rigorous decentralization index that the university of Glasgow school of informatics devised to quanitfy the decentralization of cryptocurrencies:

    The Edinburgh Decentralisation Index (EDI) studies blockchain decentralisation from first principles, archives relevant datasets, develops metrics, and offers a dashboard to track decentralisation trends over time and across systems.

    https://informatics.ed.ac.uk/blockchain/edi

    You should give it a serious look. IMO, it would offer some insight into academically peer-reviewed ways of quantifying this kind of thing.

  • Name a group, band, artist, or track you're really into right now

    Jump

  • You sound insecure. I wasn’t trying to bring you down. Be confident. Own your opinions.

    Have a nice day.

  • Name a group, band, artist, or track you're really into right now

    Jump

  • Do you get though that I said “in my humble opinion” and posted a smile? Do you get, though, that other people may like Metallica and have different songs they like and would have the urge to reply to your comment as if it were the Metallica thread? Do you get that, though? Do you?

  • Name a group, band, artist, or track you're really into right now

    Jump

  • Yup. Very few bad songs too. They’re consistently great. Zionsville is my current high water mark for them. Just gorgeous. I never saw the appeal of the pedal steel guitar until that song.

  • Name a group, band, artist, or track you're really into right now

    Jump

  • Don’t be. I’m just sharing an alternate opinion.

  • Name a group, band, artist, or track you're really into right now

    Jump

  • Orion and To Live Is To Die are better, IMHO. :)

  • Name a group, band, artist, or track you're really into right now

    Jump

  • Glass Beams

    Khruangbin

  • If you knew the internet was going to be shutdown, damaged, or colossally enshittified what software would you archive for use locally and use for a neighborhood/town mesh network? Why?

    Jump

  • To start, I’d download nixpkgs. That would cover pretty much anything I could want.

  • Removed

    Are there any things about China that you're unsure of and need me, a Chinese person, to verify whether they are right or wrong?

    Jump

  • 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.

  • Removed

    Jews Have Religious Right to Genocide, Says Israeli Supreme Court

    Jump

  • I think you need a lesson on recognizing cynical sarcasm.

  • Deleted

    Permanently Deleted

    Jump

  • 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. :)

  • Deleted

    Permanently Deleted

    Jump

  • 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)

  • Deleted

    Permanently Deleted

    Jump

  • 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.

  • Deleted

    Permanently Deleted

    Jump

  • Wake me up when Waymonad is released.

    XMonad for life.

  • BPS is a GPS alternative that nobody's heard of

    Jump

  • Geerling is a YouTuber

  • What subreddit are you trying to replace on Lemmy that needs pumping up?

    Jump

  • /r/Cardano: !cardano@infosec.pub

    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

  • How to harden against SSH brute-forcing?

    Jump
  • Deleted

    Permanently Deleted

    Jump

  • You need to disable JavaScript to read my blogspam.

  • Deleted

    Permanently Deleted

    Jump

  • 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.

  • Nix / NixOS @programming.dev
    demesisx @infosec.pub

    Deploying Containers on NixOS

    bkiran.com /blog/deploying-containers-nixos
  • Ask Lemmy @lemmy.world
    demesisx @infosec.pub

    Lemmy users, what is / are your least favourite countries

  • Programmer Humor @programming.dev
    demesisx @infosec.pub

    Principal Skinner on Immutable Distros

  • Nix / NixOS @programming.dev
    demesisx @infosec.pub

    Can We Nixify Lemmy's Dev Environment?

    github.com /LemInventory/lemmy/tree/flake
  • RiscV @lemmy.world
    demesisx @infosec.pub

    Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture

    agra.informatik.uni-bremen.de /doc/konf/TFP23_ST.pdf