Skip Navigation

Posts
395
Comments
1296
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

  • Nice try loser. We've been through this and we both came to the conclusion that I am not and you are a weird loser that doesn't understand that people can have friends and followers on the fediverse.

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

  • HailCorporate @infosec.pub

    A blatant ad: Google Fi is launching a $35 / month unlimited plan

    www.theverge.com /news/653244/google-fi-unlimited-essentials-plan
  • Get this fucking Google ad out of here.

  • Me too! Gelbart is world-class!

  • Machinists @infosec.pub

    Unusual Shop Tips

  • Cardano @infosec.pub

    Surprise AMA 04/23/2025

  • Blockchain Voting @infosec.pub

    IOG's Hoskinson on Blockchain Voting during his recent AMA

  • Not to be confused with absolute eunuchs:

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

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

    Have a nice day.

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

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

  • Wow. I’m so relieved he didn’t go to space. This is way cooler.

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

  • Free and Open Source Lemmy Apps @infosec.pub

    Voyager’s new promo site & app update

    getvoyager.app
  • Free and Open Source Lemmy Apps @infosec.pub

    Summit for Lemmy is Open Source

    github.com /idunnololz/summit
  • Free and Open Source Lemmy Apps @infosec.pub
    Featured

    FOSS App of the Week: MLEM for iOS

    github.com /mlemgroup/mlem
  • Lemmy Apps @lemmy.world

    A Sister Community dedicated to FOSS Lemmy Apps

    infosec.pub /c/fosslemmyapps
  • Artisan Videos @infosec.pub

    This Box Deserves a Medal

  • Machinists @infosec.pub

    Metal Spray REPAIR Caterpillar Engine Crank Pulley | Thermal Spray Welding

  • Guitar Amps @infosec.pub

    No Spaghetti | '73 Deluxe Reverb Pt 3

  • Free OpenSource Software @infosec.pub

    What's your most beloved open source project?

  • NixOS @infosec.pub

    FOSDEM 2025 - NixOS @ Doctors Without Borders (MSF) - why we use it and how

    fosdem.org /2025/schedule/event/fosdem-2025-5165-nixos-doctors-without-borders-msf-why-we-use-it-and-how/
  • Ambitious Builds @infosec.pub

    X-FBAPE - The DIY FPGA-based card for the Behringer X32

  • XMonad @infosec.pub

    Current Progress on Wayland Haskell bindings

    discourse.haskell.org /t/tiny-wlhs-a-hybrid-haskell-and-c-wayland-compositor/10803/6
  • Cardano Developers @infosec.pub

    Breaking the Monolith: A Journey to Microservices Architecture

  • Guitar Amps @infosec.pub

    Get It Right & Dial It In | Not Earl '65 Twin Reverb

  • Guitar Virtuoso @infosec.pub

    John McGlaughlin - Joy - Shakti

  • Showerthoughts @lemmy.world

    What if someone made an open source decentralized hybrid of Yelp and Glassdoor?

  • Cardano @infosec.pub

    Closing Things Off: Charles rightly raises the alarm about lack of oversight on the board.