I see everyone pointing the finger at the wrong place. We have two corrupt privately run parties. First past the Post literally puts us here. Places like Sweden won’t have this problem because they allow their politics to represent nuance rather than two corporate parties. Meanwhile, the UK which DOES have FPTP, is watching NHS get eroded by the same brand of neoliberalism that strip-mined the entire American economy.

I’d like to take this moment to shine the spotlight on [email protected], [email protected], [email protected], [email protected], and [email protected]

The mods of this community (and indeed this whole instance) demonstrated that pulling out all stops to censor even the most valid and well-worded criticisms of Kamala Harris’s absolute shit, right wing platform are a recipe for disaster.

I hope it’s clear now: If your supposed leftist candidate can’t even run to the left of the GOP, they are going to lose. This is what happens when corporatists take over your entire party and you jump to their defense, pulling out all the stops against actual leftists, trying to raise the alarm that our party has been stolen because you’re a stupid identity politics dupe.

I’m genuinely curious why you’d want to do that. Mine is timed to coincide with the circadian rhythms of the GPS coordinates and those are provided as hard-coded values in my config. I suppose the only optimization I could imagine is a script where it would get my IP then correspond that with GPS coordinates so I could have circadian screen coloring wherever I go with my laptop.

My point is, it’s a setting that I don’t turn off because that would defeat the purpose of the app.

Looks like we won’t be getting fired for using Nix very soon.

Removed by mod

Hopefully this sticks. IMO, movie studios need to keep attracting customers or the whole film industry will stay dead.

True! I wonder if the same is true for deriving via cabal2nix.

This may or may not be helpful to you, but I haven’t had to delve into dependency management because I use ‘hix’ to provision and build my Haskell dev environment. I’d highly recommend it. It will simply parse you cabal file and provision all dependencies. I’m hoping such tooling comes to Purescript next because purs-nix is out of date with the new spago).

Here’s a super simple project where I used it:

https://github.com/harryprayiv/XY_math

Ps. I also recommend looking into IOHK’s Haskell tooling and their devshell, which I like to bring into most of my Haskell dev environments.

Removed by mod

Thanks. I’d certainly like it if you posted it. more Nix = more better. :)

Please share this if you don’t mind.

It’s not important unless Xmonad was being used for some kind of task where human lives are at risk if a mistake was made. In my case here (and indeed much of the Haskell world) it’s just fun to surround myself with software of that kind of code quality/reliability.

I’m glad you asked!

Formal verification is an automatic checking methodology that catches many common design errors and can uncover ambiguities in the design. It is an exhaustive methodology that covers all input scenarios and also detects corner case bugs.

One of the most futuristic companies I know of is Runtime Verification that uses formal Methods in industry. They have a list of accomplishments that seem like vaporware including a semantic babel fish called the K framework that can translate between languages based on formal, semantic definitions of each.

Try Xmonad! I run a community for it at https://infosec.pub/c/xmonad

It’s super lightweight and is the only formally verified window manager. There’s a new version being created for Wayland called Waymonad.

Removed by mod

It feels like magic. I think of it as the glue that makes almost all of my software work together seamlessly. I can’t wait to use it for one-click deployments of my software on a server or high-availability cluster.

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
      '';
    };
  });
}

Threads used to bewilder me until I started using Haskell. Holy shit that felt like magic, turning an app parallel with two lines of code.

Now, I just have to worry about memory limits….

At least in the cannabis industry here, they have a piece of software that they use to submit their inventories to the state. My current plan is to look into incorporating my system into that so I get accurate reports that are required by law to be done anyway.

I’d love to discuss further the pitfalls of my idea and any special considerations I might need to make.

I’m not sure yet TBH, but you’re welcome to help or build your own.
I intend to make it an entirely free and open source platform that allows retailers to broadcast their inventory to aggregators. No ads just like Lemmy, though I suppose that the feed itself serves as kind of an ad.

It was intended for the cannabis industry. Then the plan was to roll it out to the rest of the retail world when it has evolved enough.

There’s also veilid.

I even started a community here: https://infosec.pub/c/lemventory