3 ms·
> Amazon even has placed bounties (and paid some) for proving things about the standard library. Can you provide some links? Thanks.
by fooker 11mo ago
> Amazon even has placed bounties (and paid some) for proving things about the standard library.
Can you provide some links? Thanks.
- steveklabnik 11mo agohttps://aws.amazon.com/blogs/opensource/verify-the-safety-of-the-rust-standard-library/ https://aws.amazon.com/blogs/opensource/verify-the-safety-of...
- fooker 11mo agoThis is awesome. Are these reasonably current?
- steveklabnik 11mo agoThat announcement was a year ago, I haven’t kept up with the repo.