News for hackers. Stuff that matters.
Re:DARPA: Translating All C to Rust (Tractor) by pdimitar on Wednesday July 31, 2024 @06:15PM (#41124073)
> I make extensive use of bounded model checking in my C development...

I would absolutely love it if you were the majority, alas you are not.

I emulate exhaustive pattern matching in my main language of choice because it does not have it (it's not Rust or OCaml or Haskell) but because I saw how beneficial and useful it is. And sadly, many of the other devs using that language don't do so, and I have made a good buck going after them and fixing their mistakes.

I don't doubt your abilities as a person. I doubt the abilities of the corpus of C/C++ devs at large.

Re:DARPA: Translating All C to Rust (Tractor) by nanolith on Wednesday July 31, 2024 @07:25PM (#41124616)
Well, that's something I hope to change. The tools required to write safer software exist. They just aren't widely distributed yet.

I can say, without ego, that I'm a reasonably good software developer. But, it is the tooling and process that I use that allows me to build safer software and that makes me a reasonably good developer. The same is true of Rust developers.

I can teach these skills to other developers, and in fact, I have plans to do so.

I don't expect things to change overnight, any more than I expect things to be rewritten in Rust overnight. C++ has been around for nearly 40 years, and software is still written in C. But, we can do better, and we must do better.

Re:DARPA: Translating All C to Rust (Tractor) by pdimitar on Wednesday July 31, 2024 @07:31PM (#41124650)
Fully agreed. I hope you don't take my criticisms and our back and forth as hostile -- they are not.
Re:DARPA: Translating All C to Rust (Tractor) by nanolith on Wednesday July 31, 2024 @08:33PM (#41125042)
I don't. Passion is good, and I'm glad we can have a passionate discussion while remaining civil.

We both want the same thing: safer software.