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 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.
Much like the fediverse, we’re very early on that technology. We’re waiting for the network effect to take hold in both areas. Once it does, things will improve significantly, IMO.
Amen. I’d love to see Home Assistant start using it. I’m not holding out hope, though, because the guy behind Home Assistant is actively hostile.
RISC-V is an open instruction set, which should be what the Pi foundation (if their open source mission is to be taken at face value) would be switching to if they weren’t just a way for Broadcom to push their chips on the maker community under the guise of open source.
RISC-V, an open-source instruction set architecture (ISA), has been making waves in the world of computer architecture. “RISC-V” stands for Reduced Instruction Set Computing (RISC) and the “V” represents the fifth version of the RISC architecture. Unlike proprietary architectures such as ARM and x86, RISC-V is an open standard, allowing anyone to implement it without the need for licensing fees. This openness has led to a surge in interest and adoption across various industries, making RISC-V a key player in the evolving landscape of computing. At its core, an instruction set architecture defines the interface between software and hardware, dictating how a processor executes instructions. RISC-V follows the principles of RISC, emphasizing simplicity and efficiency in instruction execution. This simplicity facilitates easier chip design, reduces complexity, and allows for more straightforward optimization of hardware and software interactions. This stands in contrast to Complex Instruction Set Computing (CISC) architectures, which have more elaborate and versatile instructions, often resulting in more complex hardware designs. The open nature of RISC-V is one of its most significant strengths. The ISA is maintained by the RISC-V Foundation, a non-profit organization that oversees its development and evolution. The RISC-V Foundation owns, maintains, and publishes the RISC-V Instruction Set Architecture (ISA), an open standard for processor design. The RISC-V Foundation was founded in 2015 and comprises more than 200 members from various sectors of the industry and academia.
They’ve been declining for years. It’s time the community ditched them for RISC-V machines.
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.
I feel the same about Hyprland vs. Xmonad. I can’t bring myself to switch even though x11 is near dead since almost no WM can offer the configurability that comes easily in Xmonad.
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 suspect they’ve started making device-agnostic apps using JavaScript and React Native. I’m pursuing Purescript solely because I was not willing to commit to iOS nor Android’s completely different ways of doing things…and I love Haskell style syntax.
I may be an outlier but that’s personally why I’ve avoided specifically targeting Android as a developer.
I very much agree that the social change route is for the best. However, being a cynical old man that has watched Google and others lay waste to the open internet time and again, I guarantee that we’ll have to go with the FOSS hounding route unless some new viable alternative pops up. Thanks for the spirited discussion! I think we both, in the end, want the same thing.
Fair enough in the strawman thing.
Anyway: Either we enact social change or we literally do the thing that you said: we need to normalize users feeling obligated to pay for FOSS software.
Actually: IMO, we DO need to normalize people understanding that the reason their software doesn’t suck is because the dev has integrity and hasn’t sold out to corporate interests. They should be reminded of that fact because the pull of greed is PERVASIVE.
The way I see it,
We have two options:
A.) fix the broken FOSS system to properly fund projects that eschew monetary gains and the stockpiling and hiding intellectual property in the interest of the sanctity of these technologies.
B.) Normalize end users feeling obligated to pay.
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.