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

  • 531 Posts
  • 1.29K Comments
Joined 1 year ago
cake
Cake day: June 17th, 2023

help-circle
  • I should mention that only South Korea and Canada have TRUE Single Payer (which is, IMO, what the US should be working toward).

    Any other type of “universal healthcare” has the effect of creating a premium lane alongside the regular one. However, if all of society has to use the same healthcare system, they will have no choice but to collectively fight tooth and nail to improve healthcare for everyone. This is the only way, IMO.

    In a truly just society, the homeless man sleeping on the bench would have the same healthcare as Jeffrey motherfucking Bezos.





  • societies that give citizens no way to control their own lives, but put the fate of their people in the hands of distant masters with no concern at all for their wellbeing, invite disaster.

    There will be no forthcoming legislation to shore up a century of regulatory capture. This government was built for elite landowners all the way back to Jefferson. The author glosses over it (even mentioning the fact that Jefferson saw the eventuality of a revolt) but that’s (IMO) a feature not a bug.


  • demesisxOPMtoWaymonadCurrent State of this Project: In Progress
    link
    fedilink
    English
    arrow-up
    2
    ·
    edit-2
    4 hours ago

    Why not Haskell? It’s lazy and pure and compiles down to actual safe C. It’s like Rust but better (not to mention how the language LOOKS on screen…it’s VERY readable and intuitive). Furthermore, the entire paradigm that it strictly enforces makes parallelism possible by default.

    Also, I don’t know if you’ve played around with the config formats of any of the tiling window managers but if you do, I think you’ll understand. The formats they use are SO ugly in comparison to my declarative config. Plus, Haskell will give you clear error messages when you make a mistake in your config.

    Try that with a Polybar config: 🤮

    I could go on all day about why Haskell in particular is uniquely well suited to this task. Xmonad is the only window manager that is formally verified. Can anyone else even achieve that with another tiling window manager? Probably not since Haskell is one of the only languages that is fast enough AND can make guarantees about runtime properties that not even Rust can.

    Here’s an intro to XMonad from distrotube:

    https://youtu.be/gPQ9mn9Nkpc











  • demesisxOPMtoSelf-OwnsHow was this a surprise?
    link
    fedilink
    English
    arrow-up
    4
    ·
    edit-2
    2 days ago

    In your one-man crusade against things that don’t matter in the slightest, did you take note of the fact that I literally created this community and can therefore decide what belongs here?

    Personally, I’m more tired of weird nerds coming out of the woodwork to dunk on complete strangers in a debate that really boils down to nothing more than a difference in semantic interpretation.

    Such a worthwhile point to write an essay about…

    I’m sure you feel great, calling me names and showing yourself to be so much smarter. How impressive! I made this community. So, I can actually decide what belongs here more than any random person coming here like yourself.

    Or maybe you are just the CHOSEN ONE and the real, deserving owner of the only brain capable of understanding the true nature of LAMF!