Evergreen: A Provably Safe Systems Language

Evergreen introduces a new systems programming language with provably safe and correct properties.

Hacker News submitter: jordan_bonecut

Submitted to Hacker News: 2026-11-04