Content pfp
Content
@
0 reply
0 recast
2 reactions

Shane da Silva pfp
Shane da Silva
@sds
Pretty huge win for Rust if all unsafe functions can be formally verified. https://foundation.rust-lang.org/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries/
2 replies
28 recasts
117 reactions

Rebirth  pfp
Rebirth
@rebirth1
Great news for Rust! Formal verification of all unsafe functions would be a huge step towards even greater reliability and security.
0 reply
0 recast
0 reaction