A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust [pdf] | Dark Hacker News