About Safety, Security and yes, C++ and Rust (2023) (via bitfield) — discussion
#c++ #formalmethods #plt #rust #security
