News for hackers. Stuff that matters.
Re:Mozilla Welcomes the Rust Foundation by zlynx on Wednesday February 10, 2021 @12:20PM (#26092009)
I am certain you are right and C++ could be used.

If you combined it with a strong theorem proof language.

But then, that's a large part of what Rust is so . . .

There are no comments on this comment yet.