HN Hall of Fame Weekly email

The Vale Programming Language

vale.dev Software & code Software projects Software engineering Candidate
Screenshot of vale.dev captured 2026-07-20
Page preview · captured 2026-07-20

Resurfaced independently across 4 calendar years, with breakout response in 2 of them.

submissions
4
submitters
4
observed span
2020–2026
peak thread · 171 comments
219 pts
latest 20+ return · 2022-06-18
200 pts

Submission timeline

2007–2026

One slot for every year since HN launched. Height is that year's peak points; orange marks a 100+ point or 50+ comment breakout. Select a bar to open its strongest thread.

First comments on top threads

HN comment order

It's not called out on the web page but the novel concept here is the usage of regions for memory safety. Microsoft's Verona[0] is also taking this approach. People seem to really like Rust but it's important to keep experimenting and see if we can get the same benefits but with better ergonomics. 0 - https://github.com/microsoft/verona/blob/master/docs/explore...

Vale lead here, thanks for posting! For those interested in the PL space, here are some of the shenanigans we've been up to in Vale: * We added "Higher RAII", a form of linear typing that allows destructors to have return types and parameters. [0] * We just yesterday finished the first prototype of deterministic replayability, which will allow us to capture all inputs to a program (including all network data, user input, file input, etc, and eventually, even thread…

The first top-level comment from each of the four biggest threads, in HN’s own order. Excerpts are shortened; open a comment for full context.

Breakout years
2

100+ points or 50+ comments

Total points
424

reference only — not used in Hall rules or ranking

Total comments
261

reference only — not used in Hall rules or ranking

Every submission

DateTitle as submittedByPointsComments
2020-11-20The Vale Programming LanguageFirst breakout · Best threaddanny00219171
2022-06-18The Vale Programming LanguageLatest 20+ point returnmemorable20090
2025-08-22Vale Programming Languagebegoon10
2026-04-20Vale: A fast, safe, and easy programming languagetosh40