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.
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.
Ok.
To answer your rant: Morals are a social construct and can change based on situation. In other words: Just because something is illegal doesn’t mean it’s wrong.
I didn’t see where you asked us to write a paragraph where one word would suffice….But, I suppose I can write you a few more sentences to appease you.
Yes violence is sometimes the only answer.
Edit: in response to your original, much better title (that was 100% likely censored by the neolib respectability police running world.)
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!!!