Who remembers Jean-Yves Girard? His linear logic was the foundation of Rust. We live in a world where people who got participation awards in school need trainin

Who remembers Jean-Yves Girard? His linear logic was the foundation of Rust. We live in a world where people who got participation awards in school need training wheels now. Wake me up when sqlite is rewritten in Rust.