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