Making C++ safe without borrow checking, reference counting, or tracing GC (verdagon.dev)

Screenshot of verdagon.dev: Making C++ safe without borrow checking, reference counting, or tracing GC

First screen, captured 3 years ago.

Looks similar

Screenshot of verdagon.dev: Memory Safety Without Borrow Checking, Reference Counting, or Garbage Collection

Memory Safety Without Borrow Checking, Reference Counting, or Garbage Collection (verdagon.dev)

80 points by modernerd 3 years ago | 62 comments

Screenshot of verdagon.dev: Group Borrowing: Zero-cost memory safety with fewer restrictions

Group Borrowing: Zero-cost memory safety with fewer restrictions (verdagon.dev)

66 points by verdagon 1 year ago | 60 comments

Screenshot of verdagon.dev: Valen's Memory Safety: A New Kind of Borrow Checking

Valen's Memory Safety: A New Kind of Borrow Checking (verdagon.dev)

157 points by verdagon 15 days ago | 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.

valen borrow-checking memory-safety programming-languages

Screenshot of verdagon.dev: Borrow Checking, RC, GC, and Eleven Other Memory Safety Approaches

Borrow Checking, RC, GC, and Eleven Other Memory Safety Approaches (verdagon.dev)

142 points by PotatoPancakes 1 year ago | 93 comments

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: Ante: A new way to blend borrow checking and reference counting

Ante: A new way to blend borrow checking and reference counting (verdagon.dev)

103 points by g0xA52A2A 4 months ago | 24 comments

Looks similar

Memory Safety Without Borrow Checking, Reference Counting, or Garbage Collection(verdagon.dev)

Group Borrowing: Zero-cost memory safety with fewer restrictions(verdagon.dev)

Valen's Memory Safety: A New Kind of Borrow Checking(verdagon.dev)

Borrow Checking, RC, GC, and Eleven Other Memory Safety Approaches(verdagon.dev)