Skip Navigation

∃∀λ

@ eah @programming.dev

Posts
16
Comments
91
Joined
1 yr. ago

  • Crucial is shutting down — because Micron wants to sell its RAM and SSDs to AI companies instead

    Jump

  • I swear bro, just let me add one more gigabyte. I swear, we're gonna get to AGI. Just add one more gigabyte. Just let me add one more gigabyte. Just let me add one more gigabyte. I swear. I swear. I swear. I swear, we're gonna get to AGI. Just one more gigabyte and just make it bigger. Just make it bigger. We're gonna get to AGI. We'll get there. We'll get there. We'll get there. Just make the model bigger. I swear.

  • crates.io: Malicious crates evm-units and uniswap-utils

    Jump

  • The CEO of Socket is this guy. I'm not sure that someone with those credentials would be heading a company engaged in what basically amounts to racketeering. Though, I suppose he might be unaware it's happening. The company has many investors, any of who would benefit from creating an environment that supports the company's existence without the awareness of any of the employees. But it's clear this isn't some scam operation run by desperate people out of India, which was my first thought from reading your comment. There are reputable people with their reputations at stake. It would be a Theranos-level scandal if what you say was actually determined to be occurring. So, on the one hand, there are reputations at stake, and, on the other hand, Silicon Valley is not incapable of committing fraud.

  • Zig: Migrating from GitHub to Codeberg

    Jump

  • We've lost the spirit of it...

    Jump

  • Plex’s crackdown on free remote streaming access starts this week - Ars Technica

    Jump

  • Pure rent seeking. It's not the only example. So many products have artificial defects deliberately added by the manufacturer so that they can then charge you to disable the defect.

  • Deleted

    Permanently Deleted

    Jump

  • If you're ever caught downloading knowledge, just say you're training a neural network and point at your head.

  • Microsoft AI CEO pushes back against critics after recent Windows AI backlash — "the fact that people are unimpressed ... is mindblowing to me"

    Jump

  • They turned Windows into an IoT device. It's your refrigerator with a TCP/IP stack and a touch screen bolted on the front. How many watts does the fridge use? Oh, I don't know, but look, it has a digital calendar! How long does it take to cool items down? Who cares! You can use it to set reminders! When will I need to replace the gasket? What? I don't know. But it can scan barcodes and send it all to the cloud. Isn't that neat?! Cool, cool, but why does my fridge need to do that?

  • Linus Torvalds is OK with vibe coding as long as it's not used for anything that matters

    Jump

  • Using it for writing tests is attractive because the way we generally test software sucks. Programs are written abstractly for an unimaginably large number of cases, but only tested for a finite few. It's so ugly and boring and inexact. I'd be so giddy if a language/system came along that did formal methods properly, enabling me to formally prove correctness in every case. Programming is fun. Proofs are fun. Tests are not fun. And I'm here on Earth to have the most fun.

    This is all to say that using LLMs to do the boring work of writing tests is a suboptimal solution for testing software. It fits a general pattern. Yes, you can learn X by having a conversation with an LLM, but I believe it will be a subpar experience compared to forcing yourself to read a professionally-written book on the subject.

  • sudo-rs Affected By Multiple Security Vulnerabilities - Impacting Ubuntu 25.10

    Jump

  • memory safety isn’t the only source of security vulnerabilities

    I would like you to produce an example of a Rust evangelist disputing this. They're not as dimwitted or misguided as you seem to think.

  • Deleted

    Male Drivers Sue Uber and Lyft Over Women-Only Ride-Hailing

    Jump

  • Binary

    Jump

  • Off by one error

  • Debian's APT Will Soon Begin Requiring Rust: Debian Ports Need To Adapt Or Be Sunset

    Jump

  • FBI Tries to Unmask Owner of Infamous Archive.is Site

    Jump

  • The administration didn't threaten to take down the IA or investigate it or anything like that, so it's not similar at all.

    It's conspiratorial to think the FBI is doing this to censor or hide something. archive.is is primarily used to get around paywalls. The most likely explanation is news sites complained to the FBI that their copyrights are being violated (which is true), so the FBI is investigating. They've had a problem with falling revenue for a decade or more at this point as everything went online and people expected to get instant access for free in contrast to print media.

  • Snap out of it: Canonical on Flatpak friction, Core Desktop, and the future of Ubuntu

    Jump

  • Snap out of it: Canonical on Flatpak friction, Core Desktop, and the future of Ubuntu

    Jump

  • System76

  • Phish or Treat?

    Jump

  • Internal SSD appearing as removable?

    Jump

  • Everybody's so Creative! (about library abstraction design)

    Jump

  • At some point, we're going to have to have verified real human identity crap because the present situation of having to question everything I come across on the internet and essentially CAPTCHA myself to everyone every time I post is giving me a level of stress that makes me want to log off forever and I can't be the only one.

  • Its a solar powered phone webserver! Made from a pixel 6a, solar panel, and hopes/dreams.

    Jump