Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)V

verstra

@ verstra @programming.dev

Posts
11
Comments
145
Joined
3 yr. ago

  • Tech debt can stay in the backlog

    Jump

  • If it doesn't fix, work it

  • Vocalinux Is an Open-Source Voice Dictation App Built for Linux

    Jump

  • I currently use Speach Note, but it doesn't support real-time dictation - it waits until the end of sentence to start processing.

  • Rust trojan horse

    Jump

  • What? You list metaprogramming as a plus? And functional programming as a minus?

    You should rewrite this meme in rust.

  • fli 0.1.2 - really tiny directory content listing cli tool in no_std rust.

    Jump

  • 18kB?! Bravo, dear sir

  • Frog put Claude in a box

    Jump

  • I say mantra because there is a large amount of people just hating AI outright, without a grounded reasoning.

    Granted, coding agents are insecure by default - they are built to execute remote code - but that does not mean they are generally useless/harmful/bad. I run them in a container, with access to the codebase only.

    Also, they hallucinate, produce over-convoluted abstractions, do not know when to reject instead of blindly trying to find a way trough a brick wall.

    But also, they can answer questions about gigantic codebases way faster than I could. They can generate tests, find missing test coverage, review code, and many other things.

  • 🤔 Interesting

    Jump

  • Well, yes, but also - you don't have to pay them. There are open-weights models you can run locally that contain most of that common-wealth knowledge.

  • Frog put Claude in a box

    Jump

  • Well, these are some kind of lightweight container, no? But without isolating network, or /etc, /proc, /usr, /var or dbus.

    I do agree that linux needs a notion of an "app" (isolated, with access only to its config and files you give it, and a small, well-designed set of APIs for interacting with the system). For coding agents, I think a better answer are development containers, because that would be needed to prevent npm/cargo/python build scripts from causing harm anyway.

  • Frog put Claude in a box

    Jump

  • It's probably something like "I've disabled agent's removeFile tool, but LLM figured out that it can use the bash tool, still".

    It looks like "AI bad" or "Claude insecure" mantra.

  • Getting Creative with Perlin Noise Fields

    Jump

  • This looks awesome

  • what is the intuition behind the window functions in sql?

    Jump

  • Think of them as operating on the whole column at once.

    For example LAG would be like selecting a whole column in excel and copy pasting it one row down

  • Drafting up a simple html page

    Jump

  • No, I've removed the indentation of the first ul

  • Drafting up a simple html page

    Jump

  • Drafting up a simple html page

    Jump

  • Too much list indentation. Cool glow effect

  • Seems sustainable enough

    Jump

  • It will be better. You cannot escape it.

  • What Is A Good Sub $300 Computer I Can Use For A Server?

    Jump

  • It would, but it does not have SATA. You can find much cheaper computers that do have it

  • What Is A Good Sub $300 Computer I Can Use For A Server?

    Jump

  • For a server like this 4GB of DDR4 is enough. And that is cheap still.

  • boiling water again

    Jump

  • Actually, I remember that on iceland they were injecting CO2 into rock, and it was shipped to them from ... Swicerland, I think, in shipping tanks. It was captured from concrete manufacturing plants, which apparently produce a ton if it. So there you go - cheap CO2 is not a problem

  • boiling water again

    Jump

  • Let's separate CO2 from atmosphere and use it to run such generators. Win win. But don't ask physics about this top much

  • Programmer Humor @programming.dev
    verstra @programming.dev

    forgive me

    github.com /badlogic/pi-mono/discussions/2112

  • My new static, multi-page calendar application

    Jump

  • That's a good point, months would need new names. And dates should have some other format, maybe a F prefix: FYYYY-MM-DD

  • Programming @programming.dev
    verstra @programming.dev

    Lutra: General-Purpose Query Language

    lutra-lang.org
  • Programming @programming.dev
    verstra @programming.dev

    Lutra: General-Purpose Query Language

    lutra-lang.org
  • Selfhosted @lemmy.world
    verstra @programming.dev

    Anyone running Sandstorm?

  • Programming @programming.dev
    verstra @programming.dev

    Flutter is kinda good

  • Programmer Humor @programming.dev
    verstra @programming.dev

    10000 line PR? LGTM, lol

  • Programming @programming.dev
    verstra @programming.dev

    Coders or lemmy, what editors do you use? Is it worth learning a new one?

  • Programming @programming.dev
    verstra @programming.dev

    sourcehut is super confusing

  • Programming @programming.dev
    verstra @programming.dev

    diskonaut is ncdu, but with better visualization & Rust

    github.com /imsnif/diskonaut
  • Programmer Humor @programming.dev
    verstra @programming.dev

    Still relevant, just substitute for win 11

    xkcd.com /528/
  • Programmer Humor @programming.dev
    verstra @programming.dev

    Yes, github, I want to dagger you