What Vale Taught Me About Linear Types, Borrowing, and Memory Safety (2023) | Hacker News Reader