Programming Languages @programming.dev

jeff_hykin @lemmy.world

11mo ago

(From ETH Zurich) Tree Borrows: Safety checking unsafe Rust, Tested on 30,000 Crates