Skip Navigation

User banner

NostraDavid

@ NostraDavid @programming.dev

Posts
2
Comments
919
Joined
3 yr. ago

  • What is a belief you’ve done a total 180 on?

    Jump

  • math is hard, annoying, useless

    I stopped my IT schooling because they started throwing some minor maths around, so I switched to game programming.

    WHOO BOY, SO MUCH MATH! 😂

    Nowdays I've self-taught Linear Algebra, Calculus, and some Category Theory (because Functional Programming - Monads), via Khan Academy and MIT videos on YT. Good shit.

  • What is a belief you’ve done a total 180 on?

    Jump

  • Religion and politics.

    Was raised Christian (Protestant; not sure which subchapter, but I've sung Psalms in whole-notes, rhythm, organ or drum and guitar - it didn't matter much), but turned secular/atheist around the time The New Atheists (Richard Dawkins, Daniel Dennett, Christopher Hitchens, and Sam Harris - the four horsemen, lmao) went around. Part was several youtube videos, part The Selfish Gene audiobook.

    Nowadays, I still consider myself atheist, though I call myself heathen after the pre-Christian religion(s?) we used to have in the Netherlands (which is basically Norse mythology, but we call Odin Wodan, and Thor Donar. We also have a few extra figures like Frau Holle, some local legends, etc. I also wear two rings with the Elder Futhark alphabet, and a chain with Thor's Hammer.

    I just think Germanic Myths and Legends are just neat.

    Regarding politics: I used to regard myself as Liberal, but the more I learn about Liberalism (starting at John Locke, and ending with John Rawls) the less I like it. It feels like it's individualism and egoism to an extreme, and I think it will be damaging to humanity at large in the long term.

    What would replace it? I'm not sure yet. I do feel we should probably try to get families living closer to each other, to ensure they can better support each other - nowadays a family can easily live all over just fine, which just means they'll grow apart. Yes, yes, not every family can do that, because some families are assholes, but that doesn't mean we shouldn't try. Our capitalistic system is breaking the family tribe apart, and I think that's bad for everyone involved.

    Also, forced paternity tests. If men get the burden of fatherhood legally shoved onto them, then they should get legal evidence the child is theirs. I think cuckery (raising another's child without knowing - not the sexual act) is a deeply immoral move, a deep and traitorous move, and if women use the legal framework to force men to pay for support, then they should be OK with us using the exact same framework to support ourselves, right? That would only be fair, right?

  • Claude Code deletes developers' production setup, including its database and snapshots — 2.5 years of records were nuked in an instant

    Jump

  • And it seems to be Claude, every damn time.

  • Claude Code deletes developers' production setup, including its database and snapshots — 2.5 years of records were nuked in an instant

    Jump

  • Especially since between Claude and Codex, Claude seems to have NO issues breaking things, while Codex is "I've ensured that the old path still works, and also fixed a bug I ran into".

    • Claude is Facebook ("Move fast and break things")
    • Codex is Linux ("We do not break userspace!")

  • Postman Strikes Again

    Jump

  • Just use curl

  • NixOS Review: The Most Powerful Linux Distro in 2026?

    Jump

  • nixpkgs (the NixOS package repository) has everything

    And you can create your own (local) packages for what you're missing (like the newest version of Codex, because that supports GPT 5.4) using an LLM.

  • NixOS Review: The Most Powerful Linux Distro in 2026?

    Jump

  • much more effort than copying a normal distro

    I just throw an LLM at it - I learned to read nix (the language), but even that isn't required.

    I now maintain a single, mostly shared, configuration between three machines. If I ever replace my main PC again, I can be up and running almost exactly back to where I was within 24 hours (that includes OS installation, some debugging, etc). And there's going to be a bunch of downloading data from my NAS.

    That would've used to take a week to get roughly back to where I was, but without some vague fix for some issue or another.

    Summary: It's great for programmers, and people who have maintain multiple machines, and want a shared configuration.

    Either you pay the setup effort upfront (Nix) or you do it afterwards (any other stateful OS).

  • Germany's Merz calls for real names on the internet

    Jump

  • Merz is 71 YO. I can't wait for this old fuck to die (of natural causes)

    "In politics, we engage in debates in our society using our real names and without visors. I expect the same from everyone else who critically examines our country and our society."

    Funny, since Ursula von der Leyen used to go by "Rose Ladson", or what about Herbert Ernst Karl Frahm, who went by "Willy Brandt" during WW2?

  • Your Browser Can Already Speak a Page

    Jump

  • In Firefox on desktop, you can enter reader view (F9) and then activate the headphone / “Read aloud” button

    Not on Linux you can't. It's been one of the larger downsides (still relatively minor, but annoying nonetheless) of having moved to Linux. I've not been able to get a decent TTS setup.

    Yes, I can run Read Aloud, and using Piper or Supertonic (finally) get a decent voice, but it's just not a great experience to use the addon, because it opens a separate window or tab, like it's 2005. Oh, and some voices get a little... haunted every now and then >_>

    Natural Reader on Chrome worked inline, which was great, but I'm not going back to Chrome.

  • My enthusiasm for tech is basically gone.

    Jump

  • Eh, some people generate slop using AI, while I fixed a visual glitch unique to Linux in a Unity game yesterday. No, I didn't have the source. Just Lorn's Lure, straight from Steam.

    GPT-5.3-Codex didn't even decompile the code or anything. It instead analysed the IL code, and wrote a C# program to patch the game's viewrange, because it figured that was the issue (which it was).

    I had some z-fighting issues, which don't exist on Windows, because Linux uses OpenGL instead of DirectX I guess? Anyway, having a farClip of 70_000 (yes, 70k) is a bit much for OpenGL 😂)

    I do understand that the mountain of slop being generated isn't exactly fun, nor is it fun that AI is being jammed into literally everything (even though some locations can still be useful), I think humanity at large needs some time adapting to start ignoring slop; we'll eventually adapt to it, as we did to everything before. Until then, try to find new way to use them, perhaps?

  • What's a TV series that you really, really liked and would enthusiastically recommend?

    Jump

  • To get people in the mood: If you like Star Trek*, The Orville**, Altered Carbon, FarScape, Firefly, The Expanse, and others I've forgotten, you'll like Foundation. Because I like all these other series as well.

    * Next Generation, until Enterprise** Maybe not the first season, but the show was still finding its footing, IMO

  • This might be the most interesting new Linux distro right now

    Jump

  • Whatever happened to all the hype around NixOS?

    Sorry, I'm too busy building up my NixOS configuration to hype it up on the web. Go check out Vimjoyer for all your NixOS knowledge needs. He is the new official documentation.

  • This might be the most interesting new Linux distro right now

    Jump

  • That's fucking dumb.

    Would you stop eating nasi because it's a 'little too close to “nazi”' for you too?

    Stop it. Get some help.

  • Claude is an Electron App because we’ve lost native

    Jump

  • Codex is written in Rust, as it should be. It even has readline integration, so you can do ctrl-j to insert a newline! :D

    edit: ah dangit, this is about the desktop app. Nevermind.

  • racist ai

    Jump

  • Why the fuck would anyone have a subscription to ChatGPT in the first place?

    Access to GPT-5.3-Codex.

  • Quit ChatGPT: right now! Your subscription is bankrolling authoritarianism | Rutger Bregman

    Jump

  • Spoiler: All Americans that pay taxes are bankrolling authoritarianism. People who buy items from America are bankrolling authoritarianism.

    Are all you Americans going to stop paying taxes?

  • We Overhauled Our Terms of Service and Privacy Policy - Another VC funded bait and switch

    Jump

  • I presume this thread is about this bit:

    Arbitration. The updated Terms include a binding arbitration clause with a class action waiver. Arbitration provides a faster, lower-cost resolution process for disputes between individual users and Zed compared to traditional litigation. We recognize this is a meaningful legal trade-off, which is why we include a 30-day opt-out window after you accept the Terms. Section 15 has the full details, including how to opt out.

  • ChatGPT uninstalls surged by 295% after DoD deal

    Jump

  • 295% doesn't mean much without knowing how much the original rate was:

    This data, which comes from market intelligence provider Sensor Tower, represents a sizable increase compared with ChatGPT’s typical day-over-day uninstall rate of 9%, as measured over the past 30 days.

    So 9% * 295% (growth) = 26.55%.

    But what is the installation rate? Did that increase/decrease/stabilize?

    In addition, ChatGPT’s download growth was impacted by the news of its DoD partnership, with its U.S. downloads dropping by 13% day-over-day on Saturday, shortly after the news of its deal went public. Those downloads continued to fall on Sunday, when they were down by 5% day-over-day. (Before the partnership was announced, the app’s downloads had grown 14% day-over-day on Friday.)

    Ah OK, so with the installations decreasing and the uninstallations increasing, that's quite the significant change!

  • those filthy danes coming over here and washing their bodies

    Jump

  • Interesting, because Ahmad ibn Fadlan wrote about dirty vikings: Old Arabic texts describe dirty Vikings

    They are the filthiest of all Allah’s creatures: they do not purify themselves after excreting or urinating or wash themselves when in a state of ritual impurity after coitus and do not even wash their hands after food.

  • Installed Graphene OS

    Jump

  • context for the confused.

    Absolutely legendary thread.