Valen's Memory Safety: A New Kind of Borrow Checking https://lobste.rs/s/gmnqhj #compilers #plt https://verdagon.dev/blog/valen-group-borrowing