From 276cb8cce575f831719f3d17bc4d149dbbb13472 Mon Sep 17 00:00:00 2001 From: "cloudcannon[bot]" <111820006+cloudcannon[bot]@users.noreply.github.com> Date: Wed, 20 Nov 2024 16:11:43 -0600 Subject: [PATCH] Updated 1 file via CloudCannon. (#598) Co-authored-by: Christina Gorton --- ...s-with-aws-initiative-to-verify-rust-standard-libraries.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md b/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md index dd34283c..bd830e4e 100644 --- a/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md +++ b/news/rust-foundation-collaborates-with-aws-initiative-to-verify-rust-standard-libraries.md @@ -12,7 +12,7 @@ tags: index: false layout: layouts/news.njk --- -Today, Amazon Web Services (AWS) announced a collaborative initiative aimed at verifying the safety of the Rust standard libraries. The Rust Foundation has reviewed the plans behind this effort and is excited to serve as host! +Today, Amazon Web Services (AWS) announced [a collaborative initiative](https://aws.amazon.com/blogs/opensource/verify-the-safety-of-the-rust-standard-library/) aimed at verifying the safety of the Rust standard libraries. The Rust Foundation has reviewed the plans behind this effort and is excited to serve as host! Although the Rust Programming language is designed to be both safe and efficient, these assurances do not apply to unsafe constructs. Currently, the Rust standard library contains approximately 35,000 functions, including 7,500 marked as unsafe, necessitating a focused effort to ensure their reliability and security. @@ -36,7 +36,7 @@ The challenge rewards committee is responsible for reviewing activity and dispen AWS invites you to participate by solving challenges, introducing *new* challenges or tools, and/or helping review and refine the current processes. -Challenge announcement from AWS +Challenge announcement from AWS: [https://aws.amazon.com/blogs/opensource/verify-the-safety-of-the-rust-standard-library/](https://aws.amazon.com/blogs/opensource/verify-the-safety-of-the-rust-standard-library/) Associated GitHub Repository: [https://github.com/model-checking/verify-rust-std](https://github.com/model-checking/verify-rust-std)