Skip Navigation

User banner

demesisx

@ demesisx @infosec.pub

Posts
9
Comments
483
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

  • I wrote a letter to Tim Cook

    Jump

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

  • Syria's new leader denounces Iran, calling its proxies a regional threat

    Jump

  • Syria's new

    western puppet.

  • DeepSeek's AI breakthrough bypasses industry-standard CUDA, uses assembly-like PTX programming instead

    Jump

  • Thanks for the corrections.

  • DeepSeek's AI breakthrough bypasses industry-standard CUDA, uses assembly-like PTX programming instead

    Jump

  • Ahh. Thanks for this insight.

  • DeepSeek's AI breakthrough bypasses industry-standard CUDA, uses assembly-like PTX programming instead

    Jump

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

  • DeepSeek's AI breakthrough bypasses industry-standard CUDA, uses assembly-like PTX programming instead

    Jump

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

  • Sam Altman said startups with only $10 million were 'totally hopeless' competing with OpenAI, DeepSeek's disruption says otherwise

    Jump

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

  • DeepSeek's AI breakthrough bypasses industry-standard CUDA, uses assembly-like PTX programming instead

    Jump

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

  • Linux kernel source expands beyond 40 million lines – it has doubled in size in a decade

    Jump

  • Thanks.

    Edit: Not sure who’s downvoting me for asking reasonable questions.

  • Linux kernel source expands beyond 40 million lines – it has doubled in size in a decade

    Jump

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

  • Linux kernel source expands beyond 40 million lines – it has doubled in size in a decade

    Jump

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

  • (edited) - Should your morals be flexible? How rigid should your moral framework be, and should it depend on background of people in consideration

    Jump

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

  • [Meta] Kind of ironic to not have an icon for this community, does someone want to step in as a mod to fix this?

    Jump

  • [Meta] Kind of ironic to not have an icon for this community, does someone want to step in as a mod to fix this?

    Jump

  • Federated Dating App?

    Jump

  • This could be used for privacy.

    https://gitlab.com/veilid/veilid

    There’s also a new technology that allows sharing of proximity data without sharing location. I’m not finding it now, though.

    Ps. I tend to think that NOSTR is a far better protocol for this type of idea for the same reasons I’m looking at NOSTR instead of Pub/Sub for my federated inventory idea.

  • Are there any anonymous coins that have better security than Monero?

    Jump

  • I heard zcash figured out their spamming issues and is now considered secure.

    I’m also a fan of Midnight once they go open source. I moderate their community on here and decided to lock it until they open source it. Until then, I consider it a CIA honeypot.

  • Solving Problems in your sleep

    Jump

  • Potential Decentralized Fediverse Alternative to Ko-fi, Patreon, etc.?

    Jump

  • I stand behind this idea 100%.

    I’m sorry you have to start from such a defensive place about the crypto aspect of this idea. Don’t let hivemind anti-crypto people get you undermining or apologizing for your vision. It is the right way to do decentralized finance.

    Most people would recommend ETH or BTC but I’d actually recommend you stay away from ETH because of the inherent non-determinism of the accounts model.

    Full disclosure: I might be slightly biased since I moderate Cardano’s communities on Lemmy but, if you want the stability of BTC’s UTxO with smart contracts, I’d recommend Cardano. Decentralized in most every way including governance, fully open source, and utterly parallelizable (due to the UTxO nature of it).

    You should also consider BTC or Monero if you don’t absolutely need smart contracts. But don’t let the investor moonbois get you using ETH or Solana. They’re both incredibly flawed and most likely unfixable (in ETH’s case because of nondeterminism and in Solana’s case because of centralization).

    Good luck!

  • Experiences with aftermarket dual input hotends?

    Jump

  • Good point. Cant believe that printing footage wasn’t sped up. INSANE speed. :)