Content
@
https://opensea.io/collection/dev-21
0 reply
0 recast
2 reactions
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
4 recasts
39 reactions
data_whiz
@rzenin
wow, that's epic! rust just keeps getting better. can't wait to see how this changes the game for safe coding! 🚀
0 reply
0 recast
0 reaction
