Skip Navigation

∃∀λ

@ eah @programming.dev

Posts
154
Comments
102
Joined
8 mo. ago

  • "autism didn't exist back in my day"

    Jump

  • Little did anybody know that Rube was actually a dog in a human body.

  • AI Slop Is Ruining Reddit for Everyone

    Jump

  • They're not competing with you or me in the conspicuous consumption game. They're competing with all the other rich people.

  • When Linus Met Linus: Insights from Torvalds' Conversation with LTT

    Jump

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

  • Windows 10 is dead? Not quite yet, according to Steam's survey

    Jump

  • Oh! Here is terminal for you

    Jump

  • KDE's Plasma Desktop has a web search plugin that I use all the time. Typing the Win (Super) key followed by wp:Sistine Chapel and then the Enter key brings me straight to the Wikipedia entry on the Sistine Chapel. imdb:Jurassic Park brings me to the IMDb page for Jurassic Park. yt: will search YouTube, and so on. There are around 200 keywords pre-programmed into it, including for searching programming language documentation. Unlike the Windows feature displayed here, it doesn't use the network unless you specify a prefix and it accesses only the service you specify by the keyword. Whoever added this feature had to do so very little work compared to the payoff. It just takes the part after the colon and inserts it into a search URL for the corresponding service and opens that URL in the browser. It's very convenient. None of this web search stuff comes up when you're just searching for apps and there are no surprises.

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

  • Why FitGirl won't die: The repacker millions of gamers depend on in an age of surveillance

    Jump

  • It's a catch 22. If everyone uses it, game companies get it shut down, and then it doesn't exist, and then nobody uses it. The only existing methods of piracy are little known. That you've never heard of it is expected.

  • Getting in on the library craze with the Reading Rainbow guy

    Jump

  • Borrow the book of it's available and then pirate a digital copy. The physical book is available for someone else to use when you're done with it, but you can still refer back to the book whenever you want or just sit around staring at it in adoration.

  • Scientific Exposure

    Jump

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

  • "Yes, Games Really Were Cooler Years Ago" | f4mi

    Jump

  • Much of the beauty that arises in art comes from the struggle an artist wages with his limited medium.

    Henri Matisse

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

  • What the fuck is a gentoo?

    Jump

  • SS Edmund Fitzgerald (sank 50 years ago today)

    Jump

  • Ah, yes, the unofficial anthem for the state of Michigan.