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
Syria’s new
🤣
Hot take:
The Three Amigos > Young Frankenstein
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.
Rape.
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.
Rape
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.
I’d go with NixOS in impermanence mode coupled with home-manager and a NixOS service that does the backup “cron job” that another poster talked about (just in case).
Even if she somehow managed to brick the system, you could completely restore it within minutes to the EXACT state you left it in using just these three or four Nix tools. Hell, she could even do it herself by rebooting and selecting a previous config at the start screen. All she needs to do is be able to press down and enter.
home-manager for NixOS has escaped your notice. ALL of my dot files are declared in my nix-config.
Furthermore, this module would likely complete the possibility of building a grandma-proof immutable OS complete with immutable home folders: https://wiki.nixos.org/wiki/Impermanence
Thanks.
Edit: Not sure who’s downvoting me for asking reasonable questions.
Doesn’t the new Chinese model just released actually do abstract reasoning?
DeepSeek-R1 leverages a pure RL approach, enabling it to autonomously develop chain-of-thought (CoT) reasoning, self-verification, and reflection—capabilities critical for solving complex problems.
To my untrained self, that sounds like reasoning.
I’d like to see them hire some formal methods people to at least formally verify crucial parts of it.
It might actually also be good to analyze it with an LLM to identify any hidden problem areas.
I’m interested to hear why my idea is probably foolish as well, though.
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.
FUCK YOU!!!