~lobsters | Bookmarks (155)
-
How s2n-quic uses Kani to inspire confidence
s2n-quic is a Rust implementation of the QUIC protocol, a transport protocol designed for fast and...
-
Open sourcing our Rust crate audits
Many open-source projects at Google use Rust, a modern systems language designed for building reliable and...
-
What If We Pretended That a Task = Thread?
Published: May 22, 2023, 9:12 p.m. In my previous post I made a fairly inaccurate attempt...
-
Writing Python like itβs Rust
I started programming in Rust several years ago, and it has gradually changed the way I...