Taking constant evaluation to the limit
no recording on file
summary
Explains how rustc’s new unrestricted constant evaluator (Miri, the MIR interpreter) enables evaluating complex statics and other values at compile time. Covers the evaluator’s inner workings and outlines future Rust language features that Miri will make possible, especially for reducing runtime work and memory use (including use cases like microcontroller programming).
AI-written summary · about
related talks
25mMiri: Practical Undefined Behavior Detection for Rust
58m(Almost) Everything You Should Know About The Compiler Frontend
59mWhat's the deal with unsafe Rust?
44mMiri, Undefined Behavior and Foreign Functions
58mRust for The Curious C++ Developers
22mThe Rust Borrow Checker - A Deep Dive
26mHow Rust Compiles - Noratrieb
41mFunctional Rust - An Exploration