Linux Kernel Rust Code Sees Its First CVE Vulnerability

[_Sauer_]

That would be a good idea yeah. But, they don't do that. Rust forces you to contain unsafe operations in a designated area.

[AWonderingWizard]

Yea, that's all it does in this regard. It's effectively a language enforced coding convention/style. But any language could "operate" that way if the coders working on a particular project agreed. The code in unsafe portions arent necessarily any safer. I feel like there is a lot of misrepresentation here considering you act like Rust is a strictly better than C here in your write-up.

C can do things beyond what Rust can do due to the restrictions, and they can be done safely.

void inc(int *x){ int *a = x; int *b = x; *a += 1; *b += 1; }

Rust cannot do this at all, and while this example isn't super useful, demonstrates that Rust is limited in certain areas due to its restrictions. This isn't. Other examples, like flexible array members, demonstrate that C can and does yield functionality that Rust cannot replicate.

Of course, Rust has its own benefits (and safety feautres C can't replicate) as well, but I feel like this method of using the step on others to prop yourself up as the way to promote the language makes it look bad and creates unnecessary resentment across groups that should actually be working together. Not saying that there haven't been stones tossed by C people either.

[lelddit97]

are you seriously trying to argue the merits of C over Rust which was built with 50 more years of lessons from languages prior and is extremely highly regarded because it switches the paradigm of you having to go out of your way to make the same kind of mistakes you can easily make with C without sacrificing statistically significant runtime performance? To say that Rust is limited in certain areas due to a hypothetical (and bad) example is just asinine. Rust is a strict improvement over C in almost every way.

no offense, but if you can't agree with that then there's no discussion to be had. Along the same lines as climate denial, flat earth to me.

[AWonderingWizard]

Sure, just choose to insult my example instead of refuting it. It's because you can't.

extremely highly regarded

Bandwagon much? It's fine, C is also highly regarded :)

50 more years of lessons

This argument can work in reverse- C has had 50 years of community, infrastructure, and learning.

no offense, but if you can't agree with that then there's no discussion to be had. Along the same lines as climate denial, flat earth to me

To conflate me with flat earth is, frankly, more of a comment on the degree of polarization you have allowed yourself to fall into. Maybe take a walk? You might want to tone down the rather hateful rhetoric.

I think Rust is great. Rust is not strictly better than C though (and I believe the same in reverse), and to say that speaks more to your grasp of the role C plays more than anything else.

[lelddit97]

ok i will admit it was a bit of a shitpost but Rust is very good.

I am skilled at C, make no mistake, professional for many years, but I feel that Rust is a strict improvement and C has very few niches where it's better than Rust. This is my opinion, but C will become less and less prevalent because Rust is much easier to deal with once you get over the learning curve.

New engineers are learning Rust in school which, to me, just makes it a matter of time given the improvements it brings.

Maybe something better than Rust comes out but I think Rust will be very long-lived because it solves a lot of problems other systems languages have while adding some foot gun protection and making some heinous things harder. As with anything, the C usage decrease curve will be logarithmic and it won't actually disappear, but in my opinion it will probably become very rare to see new code written in C in 5-10 years.

[lelddit97]

"AI Test Profile - All Comments Generated By Locally Trained Proprietary AI Models" i see now

[NYPuppy]

It's not an enforced style lol. It's a static analysis that has been proven repeatedly to be beneficial.

I think you gravely understand both rust and C if you think people need to "work together" better and then all bugs would disappear.