Rust's trait system is a proof engine, let's make it prove us an ABI [35min] [video]youtube.com4 points·sn9··0 commentsOpen articleSaveView on HN