

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.
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
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.
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.
It’s a valid claim, IMO. The libs leaving Twitter all seem to be VERY into Orwellian practices like “official block lists” and other absurd self-owns.
For example, FOR ADOBE TO DESERVE MY MONEY EVERY MONTH, 100% OF THEIR TECHNOLOGIES SHOULD BE OPEN SOURCE.
The only rent I happily pay for is a good VPN.
Get this fucking Google ad out of here.