Please share this if you don’t mind.
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
Please share this if you don’t mind.
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’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 read somewhere that he wrote it. It was a reliable news article actually…aaaaaand it disappeared.
Anyway, he certainly was instrumental in helping write it. I think you’re trying to downplay his role in it. He was THE champion of the bill and Hunter got $250,000 paycheck from MBNA the following year. Explain that for us.
Here’s some quotes from an article on this subject:
But it passed anyway, with 18 Democratic senators breaking ranks and casting their vote in favor of the bill. Of those 18, one politician stood out as an especially enthusiastic champion of the credit companies who, as it happens, had given him hundreds of thousands of dollars in campaign contributions – Joe Biden.
Despite his protestations, it is indisputable that Biden was an avid supporter of the 2005 bill as a whole and of its overall thrust of tightening up the bankruptcy code largely to the benefit of lenders at the expense of distressed families who would find it harder to file for bankruptcy.
“Biden was one of the most powerful people who could have said no, who could have changed this. Instead he used his leadership role to limit the ability of other Democrats who had concerns and who wanted the bill softened,” said Melissa Jacoby, a law professor at the University of North Carolina at Chapel Hill specialising in bankruptcy.
https://jacobin.com/2022/04/joe-biden-student-loan-debt-bankruptcy-democrats
https://www.cbsnews.com/news/mbna-paid-bidens-son-as-biden-backed-bill/
https://www.nytimes.com/2008/08/25/us/politics/25biden.html
https://oversight.house.gov/release/comer-releases-evidence-of-direct-payment-to-joe-biden/
https://www.propublica.org/article/bidens-cozy-relations-with-bank-industry-825
https://www.nationalreview.com/2008/08/senator-mbna-byron-york/amp/
Ps. But he’s a decent man™️©️
The BILL WAS
edit: This is an unsubstantiated statement (though I previously read this in an article which has now disappeared from the web).
Identity politics might be causing you to blame the wrong person for the student loan crisis. Reagan certainly made everything he touched awful. I wont even argue that. He was objectively awful. But Biden’s legislation brought it into hyperdrive. Source: me (a person with $100,000 of inescapable student loan debt thanks to Joseph Biden.)
https://www.theguardian.com/us-news/2019/dec/02/joe-biden-student-loan-debt-2005-act-2020
You know the country is lurching FAR rightward when Reagan is aligned with everyone in the Congress right now including the corporate Democrat in office. They ALL (both GOP and DNC corporatists) are on a mission to commodify every single basic human right in exchange for massive bribes.
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….
“I” seem to require? No. I’m deferring to the cypherpunk manifesto which rings true over and over again.
IMO, anonymity should be able to be switched on and off at will by the user. Selective disclosure using homomorphic encryption coupled with digital identity can achieve both, IMO.
In particular, businesses require anonymity in much of their chain of custody…and I think that’s fair.
Perhaps. I tend to listen to Snowden when it comes to tech. But I haven’t used it yet because all of the implementations I could use involved a bitcoin wallet. I’m a fan of crypto but that felt weird.
Someone else reassured me that NOSTR is a very open platform and that requirement wasn’t true.
From my research, I have found it to be far more decentralized than Lemmy’s (and the pub/sub) federated model, which would also, obviously have the same drawbacks that we see in other truly decentralized tech like crypto, torrents, and tor where you are on your own in the world, forced to literally keep the ocean of shit from infecting you! 😉
So, I think of those things as necessary evils. For example, if I used NOSTR, I could have an address that follows me no matter what. That cryptographic hash is my NOSTR identity for better or worse. That’s pretty powerful and far more secure than a two step verification process in the long run.
I don’t know enough about it yet. But I’d say it is a raw technology that I wouldn’t allow the criminals and trolls of the world define for me.
Are the people who invented this aware of NOSTR?
If so, what makes this different? And if not, perhaps we could use NOSTR to bridge the gap in the fediverse at the moment between NOSTR users and Mastodon/Pixelfed/Lemmy/KBIN/MBIN users
I started forking Lemmy for an inventory system but then realized that NOSTR was far more suited to that and other applications that require security and encryption.
No problem.
Thanks for proving mine as well.
I even ended up writing you a stupid term paper but you just couldn’t hang I guess.
Thanks. I’d certainly like it if you posted it. more Nix = more better. :)