Ancestors

Toot

Written by cibyr on 2024-11-22 at 19:07

Let AWS pay you to improve the safety of the #Rust standard library: https://model-checking.github.io/verify-rust-std/

Currently published challenges run up to $10,000

[#]FormalVerification

=> More informations about this toot | More toots from cibyr@omg.wtf.sh

Descendants

Proxy Information

Original URL: gemini://mastogem.picasoft.net/thread/113528172843481952
Status Code: Success (20)
Meta: text/gemini
Capsule Response Time: 283.992905 milliseconds
Gemini-to-HTML Time: 0.536804 milliseconds

This content has been proxied by September (ba2dc).