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

  • 3 Posts
  • 276 Comments
Joined 1 year ago
cake
Cake day: June 17th, 2023

help-circle
  • I do this on NixOS. I have a NAS at home where I store most of the files I work on. My computers are internally immutable and almost all the files that change reside solely on the NAS as NFS shares. All of my computers are configured to auto-mount one of its folders at boot. NixOS sees that as an internal drive.
    Then, simply navigate to the project folder where I have a flake and a .envrc file containing the command use flake .which will make direnv use Nix to provision the dependencies automatically. Whenever I save, those changes are reflected on all computers.

    I like to also version control everything using git and this method allows that transparently.

    The only part that I am missing is getting the permissions to align between all computers accessing that same folder. Sometimes I have to create a temp folder that uses rsync to keep up with any changes. If anyone has any pointers, I’m all ears. It rarely gets in my way but does rear its head sometimes. Otherwise, this setup is perfect when I’m at home.



  • We need widespread adoption and innovation in OPEN ARCHITECTURES like RISC-V. Anything else is just citizens and companies being used as pawns to do the dirty work for rivaling nation states that spy on and stifle the liberties of their own citizens.

    The US government has most likely hidden a back door in Intel chips and China has most likely hidden a back door into ARM, ESP8266, ESP32, and other chipsets. No one can ever prove this conclusively without violating NDA’s because these are closed architectures.











  • If it’s as bad as it is in the US, they ALL want to privatize it.

    I’ll never forget Joe Lieberman swooping in and literally letting health insurance companies completely rewrite (destroy) the Affordable Care Act from an incremental step toward Single Payer into a law that codifies their profiteering. It put everyone into three categories:

    A.) people who make more than their incredibly low income means testing are required to shop for expensive private health insurance on the free market. Health insurance companies literally raised their rates right after this. Because of Joe, health insurance profits, medical bankruptcy, and death from being under/uninsured (70,000 people per year) are at an all-time high! Any real illness won’t be covered and you’ll be forced to cover it with a GoFundMe!

    B.) people who face stiff fines if they don’t have health insurance (neoliberal paternalism much like charging people for plastic bags and sugary drinks)

    C.) people who somehow manage to sneak in under the means testing income bar! If you are 300% or more below the actual poverty line, you get the most bare bones medical insurance possible!