

I used to keep a list of repos to pull onto my NAS in case they someday went closed source. I use “mr” for it. It worked great. I had it on a systemd timer.
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 used to keep a list of repos to pull onto my NAS in case they someday went closed source. I use “mr” for it. It worked great. I had it on a systemd timer.


Hot take: Might be wise to adopt the security by obscurity model and go with an OS that is hardened (ideally, a formally verified microkernel like sel4) or runs in a custom VM/container with almost zero attack surface area.


Anduril is scary. They seem able to harness the most elegant technologies that idiot government redneck contractors tended to avoid in years past. I’ve seen them in Haskell and Nix forums offering jobs to morally bankrupt autists FAR too often. Fuck you, Anduril.
Tell me you’re 15 years old without specifically telling me you’re 15 years old….


Thanks for the corrections.


Ahh. Thanks for this insight.


It certainly does.
Until last week, you absolutely NEEDED an NVidia GPU equipped with CUDA to run all AI models.
Today, that is simply not true. (watch the video at the end of this comment)
I watched this video and my initial reaction to this news was validated and then some: this video made me even more bearish on NVDA.
Edit: corrected and redacted.


True. Thats why I tend to make small plays instead of being an absolute degenerate gambler.


The reason for the correction is that the “smart money” that breathlessly invested billions on the assumption that CUDA is absolutely required for a good AI model is suddenly looking very incorrect.
I had been predicting that AMD would make inroads with their OpenCL but this news is even better. Reportedly, DeepSeek doesn’t even necessarily require the use of either OpenCL or CUDA.


Even if they get banned, any startup could replicate their work if it is truly open source. The best thing about their solution is that it breaks the CUDA monopoly that NVDA has enjoyed. Buy your puts when NVDA bounces because that stock is GOING DOWN. There’s no world where a company that makes GPU’s is worth more than both Apple and Microsoft. It’s inevitable.


Unless your lights are hard-wired or connecting to a locked down guest WiFi network, you are exposing your WiFi credentials to potential attackers.
The microcontrollers that control Christmas lights are riddled with backdoors and holes.
That’s probably the real reason that this guy wants everyone to have smart Christmas lights.


Yeah sort of. Except everything is actually built on your machine natively while Docker does that inside a sandbox with LOTS of cruft along with it.


Algorithmic stablecoins that are actually unhackable (all possible endpoints have been formally verified) exist too. They offer the best of both worlds. I’d like to see something like that on Monero’s successor (whatever that is).
edit: I was thinking that successor would be Midnight…but Midnight is closed source, which is a dealbreaker for me…especially with cryptocurrencies. Perhaps ZCash?


Solana! 😂😂


I’d definitely use it (and I do) for deploying remote software and for the use cases you mentioned. Still, we can all agree that, in the context of Nixos, native derivations are superior and almost always preferred. I am currently using a flatpak of zen-browser until the derivations can get added to nixpkgs. But that’s just a temporary patch that I will remove soon. I have also seen containers outperform Nix in software that strictly enforces the FHS style and doesn’t play nicely in the immutable world.


You can barely detect your own biases! Have a great day. Continue with the fascist bullshit pretending you are ordained from some higher power.
Fascism is a far-right, authoritarian, and ultranationalist political ideology and movement, characterized by a dictatorial leader, centralized autocracy, militarism, forcible suppression of opposition, belief in a natural social hierarchy, subordination of individual interests for the perceived good of the nation or race, and strong regimentation of society and the economy.


See, now THIS is even more useful.


I know. I pasted this from Reddit. We have like 0 articles here. In fact, if you’re doing it this way, you are doing it wrong.


Group efforts to root out fascism or other malcontents
You can read those words, right? Who decides what is and isn’t fascism? Who decides who is the malcontents in society? See what I mean?
I’d argue that FPTP is the real barrier. It makes it a FACT that we can only have two parties.