Media Summary: Compile-Time Social Coordination by Zac Burns You can write good code. So can I. But can we write correct code together? miri is an interpreter for MIR, Rust's internal representation. miri is the foundation for Rust's compile-time An introduction into miri and Rust's const
Rustconf 2019 Taking Constant Evaluation - Detailed Analysis & Overview
Compile-Time Social Coordination by Zac Burns You can write good code. So can I. But can we write correct code together? miri is an interpreter for MIR, Rust's internal representation. miri is the foundation for Rust's compile-time An introduction into miri and Rust's const Everybody knows constants from other programming languages. But as so often, Rust is different and knows a lot of tricksĀ ...
