• 0 Posts
  • 99 Comments
Joined 4 months ago
cake
Cake day: April 7th, 2025

help-circle





  • vivendi@programming.devtoProgrammer Humor@programming.devaverage c++ dev
    link
    fedilink
    English
    arrow-up
    1
    arrow-down
    2
    ·
    edit-2
    5 days ago

    No there is not. Borrow checking and RAII existed in C++ too and there is no formal axiomatic proof of their safety in a general sense. Only to a very clearly defined degree.

    In fact, someone found memory bugs in Rust, again, because it is NOT soundly memory safe.

    Dart is soundly Null-safe. Meaning it can never mathematically compile null unsafe code unless you explicitly say you’re OK with it. Kotlin is simply Null safe, meaning it can run into bullshit null conditions.

    The same thing with Rust: don’t let it lull you into a sense of security that doesn’t exist.


  • Ignoring warnings is really not a good way to deal with it. If a compiler is bitching about something there is a reason to.

    A lot of times the devs are too overworked or a little underloaded in the supply of fucks to give, so they ignore them.

    In some really high quality codebases, they turn on “treat warnings as errors” to ensure better code.





  • Ah but you see, you have to understand the FOSS community a little more than just “using a license that FSF and OSI endorsed”.

    In terms of inter-project politics, systemd is almost wholly owned by IBM. They can override any will they want, they can change anything they want, all while fucking the community over. In short, IBM, using systemd as a massive octopus growing it’s tentacles all over mainstream Linux distros, is gaining considerable weight to pull in the Linux world.

    They can essentially dictate matters to everyone they want, because you don’t want your distro to stop being supported, do you? And now, another IBM-majority project, GNOME, is almost dependent on systemd (despite the very good word of both gnome and systemd that this wouldn’t happen, IT HAS) and KDE is also being slowly pulled in that direction, with DrKonqi becoming systemd only in it’s latest update.

    Essentially, we are handing over 30 years of work in FOSS to IBM, literally the caricature of evil tech company, and now they control the mainstream and can dictate their will.

    Allow me to remind you that this same IBM almost immediately after taking over RedHat, started closing down the source sharing of RHEL, which is it’s own whole thing so I digress.

    Let my final word be this, R.M.S as much of a problematic piece of shit he is, correctly predicted we being fucked over by DRM and subscription services 20 years ago and was ridiculed for it.

    Don’t you think it’s time to take a fucking hint? You don’t have to be an anarchist to see where this is going.