Video
Unknown · 0:00
This talk argues that Rust's real value isn't memory safety but a broader "correctness by construction" philosophy — using the type system to make invalid program states unrepresentable — and that C++ engineers can bo...
Unknown · 0:00
This talk argues that Rust's real value isn't memory safety but a broader "correctness by construction" philosophy — using the type system to make invalid program states unrepresentable — and that C++ engineers can bo...
Redirecting...