First screen, captured .
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.
365 points by modernerd | 122 comments
Blog post by Evan Ovadia presenting results and benchmarks from Vale's first prototype of immutable region borrowing for reducing memory safety overhead.
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.
