Vortex: One Format for Any Shape

Advanced soft-bodies for games with the Rapier physics engine

How the Rust Standard Library Verification Contest Scaled Past Manual Proof Engineering

Fun project for contributors! :)

PolyXOR128, a new fast universal hash written in Rust with a formalized security proof

Google's "Painful To Maintain" Binder C Linux Driver Being Removed In Favor Of Rust

An adventure of syncing rust and rustc_codegen_gcc

How do i bound memory?

My AI brain is not braining

Breaking down how Cloudflare cut 100TB of memory from their DNS cache with Rust memory layout tricks