What Vale Taught Me About Linear Types, Borrowing, and Memory Safety (2023) · HackerTrans