Borrow Checking Zero-Cost Cyclic Mutability(antelang.org)
35 points by jfecher | 2 comments
A blog post from the Ante programming language project describing a borrow-checking approach that allows zero-cost cyclic shared mutability.
#borrow-checking on Hacker News
3 stories tagged borrow-checking, newest first.
A new way to think about borrow checking (in reverse)(verdagon.dev)
104 points by verdagon | 10 comments
Blog post by Evan Ovadia explaining a borrow checker for the Vale language that analyzes functions by walking them backwards to check memory safety.
Valen's Memory Safety: A New Kind of Borrow Checking(verdagon.dev)
157 points by verdagon | 84 comments
Blog post by Evan Ovadia describing Valen's new flexible borrow checker, where references track the paths they point to, as an alternative to Rust-style borrowing.