Creusot 0.14.0 - Contracts for Rust, formally proved

This Week in Rust #671

Seeing your Rust library used by someone else must be one of the best feelings

Google published its internal Rust style guide

Has anyone here successfully use f128 types?

I learned a fun fact today

The TokioConf 2027 CFP is open

Matrix multiplication performance

`zip` needs a lot more support

Project Skies it's not dead