Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I think it's worthwhile just to get better correctness, regardless of security.

There is some project to write or re-write a cad engine in rust which I think is valuable not for any security reasons but just to get a less buggy cad engine, including easier to keep less buggy as work goes on for years.

I wouldn't have thought freebsd-update was very high on the list of things in desperate need of an overhaul, but I'm willing to grant if the people working on it think it's worth their time, then it probably is.



> I think it's worthwhile just to get better correctness, regardless of security.

Yeah, well, the Rust version of coreutils had lots of funny logic errors involving security.


Undeniable.

However the fact that you can make a bad wall out of good bricks, and even a good wall out of bad bricks with enough care and effort and ingenuity, is orthogonal to the fact that good bricks are better than bad bricks.


I mean, yeah, I agree, but is it really worth it? Should I use a Rust rewrite of coreutils that is in its infancy just because it is written in Rust and not C? If it was written in Ada / SPARK and it was formally verified, then yeah, I would definitely go for that rewrite of coreutils, but this is not the case with Rust.




Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: