This post is about Valen's new flexible borrow checker. Welcome! You all know me, I love exploring new memory safety approaches and blending them together in weird ways. It's part of my eternal quest to find the memory safety holy grail: something as powerful as Rust's borrow checking, yet something as simple and flexible as reference counting or garbage collection. 0 1 I've long suspected that to find the holy grail, we'd have to solve three memory-safety challenges: Can we make a more relaxed ...