Ancestors

Toot

Written by Jörn Franke on 2024-11-20 at 22:05

Verify the Safety of the Rust Standard Library

https://aws.amazon.com/blogs/opensource/verify-the-safety-of-the-rust-standard-library/

[#]rust #verification #safe #unsafe #formalmethods

=> More informations about this toot | More toots from jornfranke@mastodon.online

Descendants

Proxy Information
Original URL
gemini://mastogem.picasoft.net/thread/113517548565279023
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
391.198598 milliseconds
Gemini-to-HTML Time
0.354887 milliseconds

This content has been proxied by September (ba2dc).