41–45 of 45 posts
Author is likely unsophisticated and frustrated that their competency in c/c++ fail to translated to rust without a bunch of additional effort. The article contains several strawmen that aren't constructed particularly well even by strawmen standards. They're not even really knocked down. Just gently pushed where they lean against a nearby wall. But if you go to the very end, then I think we can infer what's going on…
> This is analagous to World War 2 bomber design (bear with me). What follows that sentence has to be a contender to win the prize for the most tortured analogy in a programming language discussion. You see, safe languages are bad because they slow you down, and if you're slow, the Nazi anti-air guns (that is, security vulnerabilities) can catch you. You need to code faster to dodge those bullets! Write in C to stop…
Earlier quoted context omitted.
> The claim that there are some safe programs in the world of C is categorically false. I don't like the article either, but this is just as bad. It's using hyperbole to counter hyperbole. Of course there are some safe programs in the world of C. It's ridiculous to say that there doesn't exist even one program which is safe.
As-per my edit, simply by virtue of using glibc your program is no longer safe. Glibc has had vulnerabilities, and continues to do so (as unknown unknowns - just like all C software). If you're not using any stdlib then maybe.
I agree that C has safety issues and we should move away from it. Heck, I'll go further: C is a bad language and the people defending its sharp edges (in particular around UB) have a weird Stockholm syndrome with their language of choice. But it is definitely not categorically untrue that safe C software exists, and I don't think that it helps to fight overly broad claims with overly broad claims.
This is a fundamental misunderstanding of what's great about Rust. The case for rust is not its memory safety, but its expressiveness through zero cost abstractions, one of which is memory safety.
Insane.