#vale on Hacker News

2 stories tagged vale, newest first.

Screenshot of verdagon.dev: A new way to think about borrow checking (in reverse)

A new way to think about borrow checking (in reverse)(verdagon.dev)

104 points by verdagon 8 days ago | 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.

borrow-checking vale memory-safety compilers

Screenshot of verdagon.dev: Vale's first prototype for immutable region borrowing

Vale's first prototype for immutable region borrowing (verdagon.dev)

365 points by modernerd 3 years ago | 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.

vale memory-safety region-borrowing generational-references

#vale on Hacker News

A new way to think about borrow checking (in reverse)(verdagon.dev)

Vale's first prototype for immutable region borrowing(verdagon.dev)

Vale's first prototype for immutable region borrowing (verdagon.dev)