Skip Navigation

User banner

demesisx

@ demesisx @infosec.pub

Posts
9
Comments
483
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

  • Firefox could be doomed without Google search deal, says executive

    Jump

  • China is building a cyber army of hackers, report finds

    Jump

  • China is building a cyber army of hackers, report finds

    Jump

  • China is building a cyber army of hackers, report finds

    Jump

  • You conveniently dodged my question, then asked me stupid questions, thinking I'd have to agree with cherry-picked offenses by China. I am not a fan of China. I just think they are justified in defending themselves. Furthermore, I think it's hilarious that the the US decided to offshore our high tech goods to have them manufactured there as if we weren't ASKING to be hacked. The only solution going forward is CLEARLY domestic RISC-V manufacturing and not allowing our enemies to manufacture our critical technologies.

    Do I support China's:

    • domestic surveillance: of course not
    • transnational repression: of course not
    • supression (sp!) of free speech and freedom of the press: of course not
    • bullying of its neighbours: of course not
    • aggression against Taiwan: of course not

    Do I support China engaging in pre-emptive cyber warfare against aggressors: absolutely

    Do I support the US engaging in pre-emptive cyber warfare against aggressors: absolutely

    Do I support Israel engaging in pre-emptive cyber warfare against aggressors: absolutely

    Do I support war crimes being committed by ANY of these countries: NO

  • Lemmy Client Idea - Recommend blocking communities after consistent downvotes

    Jump

  • Lemmy Client Idea - Recommend blocking communities after consistent downvotes

    Jump

  • IMO, it’s a mistake to be shutting out other cultures because of these easily-fixed technical issues.

    Personally, I’d rather a translation option was added like they have on Mastodon. I’d miss out on some smart people if I blocked all German and French posts from my feed. Those just happen to be the best languages for high assurance engineering talk (which is basically all I care about).

  • China is building a cyber army of hackers, report finds

    Jump

  • Embedding Trojans in your enemy’s infrastructure and leaving them to be switched on in times of war is ABSOLUTELY defense. You may not like it. But that’s called cyber warfare.

    Quick question: Do you fundamentally disagree with what China is accused of but fully support Israel and the US’s extrajudicial backdoors, Trojan horses, domestic spying, pager bomb assasinations, AI targeted air strikes, and other clandestine war crimes just because they are perpetrated by “the good guys”?

  • China is building a cyber army of hackers, report finds

    Jump

  • This story deserves a “no doy!”

    All major world powers are bolstering their cybersecurity. If they weren’t, they wouldn’t survive in such an opportunistic world.

  • Slate Truck is a $20,000 American-made electric pickup with no paint, no stereo, and no touchscreen

    Jump
  • Removed

    Google Fi is launching a $35 / month unlimited plan

    Jump

  • Get this fucking Google ad out of here.

  • Absolute Units - things bigger than normally expected

    Jump

  • Not to be confused with absolute eunuchs:

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

  • 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

  • How to harden against SSH brute-forcing?

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

    Deploying Containers on NixOS

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

    Little kids, too little movement: Global study finds most children don’t meet guidelines for physical activity, screen time and sleep

    theconversation.com /little-kids-too-little-movement-global-study-finds-most-children-dont-meet-guidelines-for-physical-activity-screen-time-and-sleep-240421
  • Music @beehaw.org
    demesisx @infosec.pub

    King Gizzard and the Lizard Wizard - Polygondwanaland (Full Album)

  • Piracy: ꜱᴀɪʟ ᴛʜᴇ ʜɪɢʜ ꜱᴇᴀꜱ @lemmy.dbzer0.com
    demesisx @infosec.pub

    Kim Dotcom is in mega big trouble

  • Police Intel @lemmy.world
    demesisx @infosec.pub

    Exposing the toxic culture of police officers committing family violence

  • Music @beehaw.org
    demesisx @infosec.pub

    Loose Leaf Quarantined: Millie McKee w/Japanese Soundtracks & Cosmic Jazz

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

    Principal Skinner on Immutable Distros

  • Programmer Humor @lemmy.ml
    demesisx @infosec.pub

    Principal Skinner on Immutable Distros

  • 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