First screen, captured .
Looks similar
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.
Vale's first prototype for immutable region borrowing(verdagon.dev)
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.
