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

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

help-circle



  • This is why I decided to learn Nix. I built dev environment flakes that provision the devshell for any language I intend to use. I actually won’t even bother unless I can get something working reliably with Nix. ;)

    For example, here’s a flake that I use for my Python dev environment to provide all needed wiring and setup for an interactive Python web scraper I built:

    
    {
      description = "Interactive Web Scraper";
    
      inputs = {
        nixpkgs.url = "github:NixOS/nixpkgs?ref=nixpkgs-unstable";
        utils.url = "github:numtide/flake-utils";
      };
    
      outputs = { self, nixpkgs, utils }: utils.lib.eachSystem ["x86_64-linux"] (system: let
        pkgs = import nixpkgs { system = system; };
      in rec {
        packages = {
          pyinputplus = pkgs.python3Packages.buildPythonPackage rec {
            pname = "pyinputplus";
            version = "0.2.12";
            src = pkgs.fetchPypi {
              inherit pname version;
              sha256 = "sha256-YOUR_SHA256_HASH_HERE";
            };
          };
    
          pythonEnv =
            pkgs.python3.withPackages (ps: with ps; [ webdriver-manager openpyxl pandas requests beautifulsoup4 websocket-client selenium packages.pyinputplus ]);
        };
    
        devShell = pkgs.mkShell {
          buildInputs = [
            pkgs.chromium
            pkgs.undetected-chromedriver
            packages.pythonEnv
          ];
    
          shellHook = ''
            export PATH=${pkgs.chromium}/bin:${pkgs.undetected-chromedriver}/bin:$PATH
          '';
        };
      });
    }
    
    








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