2 ms·
> real safety Spoken by someone who clearly doesn't understand software safety. Neither Rust nor Go are "safe", formally.
by junon 5y ago
> real safety
Spoken by someone who clearly doesn't understand software safety. Neither Rust nor Go are "safe", formally.
- rurban 5y agoPractically neither
- RealityVoid 5y agoWhat does "formally safe" mean for you here? Are you talking about something like SEL4 that is formally verified? If yes, I wonder how many SW's are out that that are actually formally verified. Also, the problem of formal verification lies not in the language but in the code itself, right? So what would the problem be with Rust or Go?
- MaxBarraclough 5y agoIt's true that Rust isn't safe, but the Safe Rust subset is.