A Formal Look at Pinning in Rust | Hacker News Reader