I read that algae actually makes up more of what we know as oil than decomposed dinosaurs.
Edit: the source of that tidbit. He does a cool demo at the beginning.
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
I read that algae actually makes up more of what we know as oil than decomposed dinosaurs.
Edit: the source of that tidbit. He does a cool demo at the beginning.
My daughter’s smile.
Do you honestly think the people running for office are capable of “handling” this any differently?
This comment changed my life. Thanks.
I used to think json was the best until I found json lines or line delimited json. Thank me later. I use it all the time. You can append until you’re blue in the face. It’s great for log files. Each line is a valid json file.
I think they had far more nefarious reasons than that. They intentionally try to divide themselves from the other corporate party to keep us (the poor) infighting. It was a simple exercise in branding.
Let’s put it this way: If this were the WWF, they were chosen to play the role of the Undertaker so we’d fight hard for Hulk Hogan despite Hulk Hogan being good friends with the Undertaker (indeed working WITH the undertaker all along) to take away our basic freedoms. They like to show us the blatant evil so that we’ll accept the fake good guys as our allies.
I’ve been thinking a lot about this. Another way might be for a Lemmy instance to run a stake pool from the same machine. They could offer perks to users while also not requiring donations directly. Perhaps even reward users with the pool’s native tokens for every post they submit or something (this is a great place to bring up the drawbacks and very real issues that offering a perverse incentive can have: Cobra Effect).
The tech chosen is a key decision(in this case Cardano would be my recommendation honestly because I prefer the tech and not because I have a bag of it) because that stake pool could mint native tokens and use those as a currency for use on their instance if we used Cardano. Native tokens on Cardano are cheaper and not subject to the same fees as other (ERC-20) chains to use and mint. So it would allow that instance to have its own native currency with very little overhead.
Look at Kbin’s old code. There’s some mention of Cardano wallets on there so I’m guessing that the creator of that was interested in this idea.
Let’s go one further and compel Apple, Microsoft, and Google to open source their entire operating systems. :)
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.
I think it’s because you’re an actual leftist trapped in a place that has two Republican parties.
Sneakers is one where a remake might actually be welcomed. I adore the original but spycraft has changed so much. It’s a fascinating genre too. Probably my favorite.
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
'';
};
});
}
Y Tu Mama Tambien with my sister and her new boyfriend.
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….
Pick any issue and both Trump and Kamala are on the wrong side of it.
They’re rereleasing movies in theaters because they decided to stop making movies in order to break strikes. As a result, a job that consistently paid $100,000 over 10 years has made me $20,000 in the past two years.
Don’t go see this unless you are a scab who doesn’t care about the hardworking people that take pride in working in the film industry.
Pirate the fuck out of this movie.