Self driving vehicles are one area I’d like to see that style of standards applied.
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
Self driving vehicles are one area I’d like to see that style of standards applied.
You make great points. The problem is, our demagogues work directly for those corporations. So, the demands of corporations will always favor corporations until corporations aren’t considered constituents (which has been true since Citizens United in the US).
Hard to describe in one phrase other than to say:
NixOS is to Linux as Unison is to Haskell
Content-addressing used in the context of programming languages in the service of solving the problem of distributed systems and their inability to share code across time and space.
Haskell has a content-addressed module that was perhaps influenced by Unison.
Here’s an excellent interview with one of the authors of Unison:
As others have said, Haskell and Rust are pretty great. A language that hasn’t been mentioned that I REALLY want to catch on, though, is Unison.
Honorable mention to my main driver lately: Purescript
I’m a filmmaker and I have barely worked for years after spending most of my adult life on a film set. Something is up. Streaming killed the industry, IMO.
What strikes me as odd is how even the animated films aren’t getting made. They don’t have to worry about paying union technicians (the vfx industry is non-union and often a race to the bottom compared to on-set work), so it seems like it would be a lot cheaper to make animated content. 🤷♂️
I can only imagine there will be a huge boom sometime next year but part of me is saying that those day are over.
Narrator: It isn’t.