5 ms·

| Bug free code only exists when it can be formally verified. ... okay. Although, on the other hand: | Beware of bugs in the above code; I have only proved i

• c_crank 3y ago
  The replacement languages for C in systems programming aren't memory safe. They can cause segfaults. They have additional tools and syntax rules to make it less likely, but they can and will have memory bugs.
  • Verdex 3y ago
    Okay, great. My point was that a lot of people have put a lot of time into not using c. Maybe they have a reason for doing this. The reddit post is upset at having to use rust. Which is fine. It's not fine to also include a claim that everyone who uses rust lies. This is implicitly trying to keep everyone in c. Or the author trying to do the very thing that they are complaining about being done to them. Not great.
  • fluoridation 3y ago
    A language that segfaults may still be memory-safe, if that's how it behaves every time the code is about to do something illegal with memory. You can still build a robust system on top of that, because you know for certain that you'll never read or write out of bounds.