verdagon.dev
verdagon.dev is Valen's Memory Safety: A New Kind of Borrow Checking. It is ranked #2989 on the Dev Radar, in Languages & runtimes, first seen 19 days ago and shared in 2 posts (404 views).
The Golden Spike, and Resurrecting the Vale(n) Programming Language Languages ∩ Architecture RSS Github r/valen Twitter Discord The Golden Spike, and Resurrecting the Vale(n) Programming Language Let's do something ridiculously ambitious and very inadvisable Sep 17, 2026 — Evan Ovadia There was an incredible moment on May 10th, 1869, when railroad builders finally reached their goal of joining the east coast rail network with the west coast rail network. In that moment, the first United States transcontinental railroad was born. 0 After six years of work, 1 the two rail networks finally joined up in Promontory Summit, Utah. To commemmorate…
What people said about verdagon.dev on X
Valen's Memory Safety: A New Kind of Borrow Checking https://verdagon.dev/blog/valen-group-borrowing
— @jreuben1, 18 days ago · 3 likes · see the post
A borrow checker got easier by remembering more, not by forgiving more. The Valen compiler tracks where each reference points, so the rules that make Rust painful turn into plain checks. The idea started as a proposal one language almost shipped, then dropped. Now Carbon, Ante and a few others are picking it up. I…
— @cozybearlog, 19 days ago · 0 likes · see the post
Alternatives to verdagon.dev
- Learn Node.js — Node.js advisory
- bun — bun compile compiles TypeScript and JavaScript to machine code when you build. It's short for bun build --compile…
- GitHub — A config format for humans. Contribute to soml-lang/soml development by creating an account on GitHub.
- blaze — Incremental rust builds up to 92x faster than cargo/rustc
- Arch-specific SIMD in Go — “Better HTTP/1 connection reuse” by Nicholas Husin and Damien Neil
- typescript — 🔎 Search Terms circular mapped property contextual type intersection index signature reverse mapped type…
verdagon.dev in numbers
- Rank on the Dev Radar: #2989 of 8798
- Shared in 2 posts by 2 accounts: @jreuben1, @cozybearlog
- 404 views on those posts
- First seen 19 days ago, last shared 18 days ago
- Pricing seen by AGK Intelligence: not stated
- Market: Languages & runtimes
FAQ
What is verdagon.dev?
Valen's Memory Safety: A New Kind of Borrow Checking It was first shared on X 19 days ago and is ranked #2989 on the Dev Radar.
Is verdagon.dev free?
Pricing is not stated on the page we read.
Who shared verdagon.dev?
2 accounts on X, including @jreuben1, @cozybearlog, in 2 posts totalling 404 views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.2k posts from 5k X accounts over the last 21 days, 8.8k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-10-30 20:22 UTC. Full method.