• 0 posts
  • 46 comments
Joined 1 year ago
Cake day: April 7th, 2025
  • That’s complete horseshit. There are lile 3 major implementations of Wayland and 2 exist because the other one wasn’t ready at the time. There are other hobby implementations, but they all work together. Just like how different network stacks can all talk TCP to each other and be fine. Nobody calls TCP fragmented because there are different network stacks…

    There are also smaller projects.

    Also, the model of a protocol allows Wayland to be deployed on truly exotic operating systems. As long as the top level is compliant, shit just works.

  • Yeah and those are the ones currently identified (btw that issue isn’t completely fixed) because rust never was nor advertised itself as sound. Meaning, you gotta be careful when writing Rust code too. Not as much as C++, but it’s not a magical shield against memory problems like people have been shilling it as.

  • A) Rust doesn’t have a formal specification other than “whatever the fuck our team hallucinated in this compiler version”

    B) Doesn’t matter the definition if it fucks your day because you’re not careful.

    Sure sure Heil Rust but be mindful of the fuck you’re doing before you get bit ¯\_ (ツ) _/¯

  • Have you heard about cve-rs?

    https://github.com/Speykious/cve-rs

    Blazingly fast memory failures with no unsafe blocks in pure Rust.

    Edit: also I wish whoever designed the syntax for rust to burn in hell for eternity

    Edit 2: Before the Cult of Rust™ sends their assassins to take out my family, I am not hating on Rust (except the syntax) and I’m not a C absolutist, I am just telling you to be aware of the limitations of your tools

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