Evergreen: A Provably Safe Systems Language
1 comments
- Points13
- Comments4
1 comments
Story details from Hacker News ↗ · linked article on evergreenlang.net.
Evergreen: A Provably Safe Systems Language was first seen on Hacker News · Front page on Nov 4, 2026. Since then it has appeared in 30 checks on 1 different day. Its best position was #17 of 30, reached on Nov 4, 20:37 UTC. It dropped off the list after Nov 4, 23:22 UTC.
Position on Hacker News · Front page at every check (lower is better).
Best rank per day (UTC).
Platform metric as reported by Hacker News.
A few top-level comments from Hacker News, shortened. Read the full thread on Hacker News.
Is this just "Rust with dependent types"? Not saying that as a criticism, I think this is genuinely useful.
This language has been something I've wanted to build for years. For a while I thought I'd get my PhD and build it there. But now it's very possible to have Claude build it while I'm at work and give it intense code review every day. It's still not in a "useful" place yet, but I'm curious what fellow programmers…
Archived daily, weekly and monthly lists that include this entry.
Not at the moment. It was last on the list on Nov 4, 23:22 UTC, after 1 day of trending.
#17 on Hacker News · Front page, on Nov 4, 20:37 UTC. Trendoday checks this list every 15 minutes.
It was first seen on Nov 4, 2026 and has been on the list on 1 day (30 checks) since.
13 points and 4 comments; submitted by jordan_bonecut on Nov 4, 2026.