Skip Navigation

Posts
5
Comments
403
Joined
3 yr. ago

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

  • Thanks. 😂 Honestly, I hate scammers. I really do. But they're SO easy to spot.

    I feel that the hivemind threw the baby out with the bathwater when it comes to crypto. Thanks to Do Kwan, Sam Bankman Fried, etc, a whole viable set of technologies aimed at wrestling power from the world bank has been vilified by the hivemind.

  • Yeah! How dare people try to have wealth that is actually borderless and self-sovereign. Those idiots are scammers! I will own nothing and be happy. Get out of my way, I need to step in line to bow before the Federal reserve (an organization that I fully admit is corrupt to the core and the very root of the issues in our society). I'm actually a Marxist living in a capitalist society. So, I am too cool to worry about the fact that I actually need money. I'll just pretend that I don't need it even though I REALLY do. I'll do whatever I can to piss on viable alternatives to the Fed just because people were degenerate gamblers and got owned by obvious scammers. Sure the fed can take away my money for no reason, inflate the dollar so that my savings are worth less every single day, and do whatever they feel like with my money but that is a good thing because scammers exist in the world....

    /s

  • Instances could run stake pools and tie the two together somehow. Perhaps in this case, your username follows whatever pool you're staking to.

    It's a solution look for a problem admittedly. It works better in the case that instances act as retail "clubs" like Costco for example. In that case, stakers to said pool could be authorized to get certain deals on products sold by that instance.

  • 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.

  • XMonad

  • 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!!!!

  • Tell me you're 15 years old without specifically telling me you're 15 years old….

  • 🤣

  • 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.