NixOS
😉
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
😉
nixpkgs has been working on adding it for a month now but it uses “surfer” for compilation. It’ll be interesting to see how they end up building it in the Nix style. Looks like it’ll have to involve pnpm.
Thanks for your massive contribution to this growing community!
You guys will probably groan but lots of people in this comment section should look into NixOS. My old Ubuntu machine was loaded with hacks I got from stack overflow to get certain things working (a script that runs at boot and shutdown to mount and unmount some network drives I wanted to appear natively). But now, I just use NixOS and there’s nothing on my machines that is even remotely hackey now. I just declare the drives as I want them and when I boot they are there and work as needed.
I absolutely adore xmonad. You can do ANYTHING you dream up in it. Additionally, it helped make Haskell less intimidating for me.
I have high hopes for their Wayland port called Waymonad. But it’s a long way off.
Little known fact: xmonad is the only WM that has a formally-verified base.
I run an xmonad community here: https://infosec.pub/c/xmonad
Perhaps you’re tired of hearing it but this is very close to exactly how NixOS works with home manager.
I do this in combination with Nix-Darwin for one of my machines. I also have some Kubernetes clusters and RISC-V machines running bare metal executables using NixOS-Anywhere and some other stuff.
This is REALLY cool. This is how public funding should be allocated.
Yup.
I’ve been considering making an open source clone in Typescript since it won’t allow you to use imported text without making you pay.
To teach myself how to touch type on my split ergo keyboard, I typed out Don Quixote in full using some website where you can type the classics instead of just reading them. It was fun to see Rocinante randomly peak in from my subconscious when I looked at this post. 🙏🏼
I’d definitely be interested.
I did something like this a while back when I attempted to create an official Cardano dev/Stake Pool operator machine. I ended up realizing that a whole config is too personal to try an standardize but parts of my shared configs DID help other Cardano devs and Stake pool operators get a rock-solid Cardano dev/SPO setup that could be cloned into a myraid of different types of machines and configs.
I build, configure, and deploy them with nix flakes for maximum reproducibility. It’s the way you should be doing it for archival purposes. With this tech, you can rebuild any docker image identically to today’s in 100 years.
https://youtu.be/0uixRE8xlbY?si=NIIFyzRhXDmcU8Kh
and here’s a link to a blog post, showing how to create a docker image and rust dev environment.
https://johns.codes/blog/rust-enviorment-and-docker-build-with-nix-flakes
Great article but line 1 is wrong. The genocide has been going on for far longer than a year.