Rust's trait system is a proof engine, let's make it prove us an ABI! - Pierre Avital

New channel RustLab Conference: title sample judged 'pick' (Mostly solid technical conference talks and workshops on Rust programming, but mixed with a few non-teaching items like ); passed a second screen for sellers/exam-prep/re-uploads; 3 of 3 sampled transcripts showed teaching, 0 not; titles picked one by one, checked strictly; oEmbed verified.

A 36-minute video from RustLab Conference: “Rust's trait system is a proof engine, let's make it prove us an ABI! - Pierre Avital”.

Video by RustLab Conference, played through YouTube's embedded player.