The short version
A Rust-oriented verification language for proving program correctness.
From the HackerLinks archive
Verus
A Rust-oriented verification language for proving program correctness.
At a glance:
First seen:2026-07-28
Last seen:2026-07-28
Times seen:1
Website:github.com
Why it caught our attention
It is a concrete entry point for applying formal specifications and proofs in the Rust ecosystem.
Where it surfaced on Hacker News
2026-07-28
“Verus (https://github.com/verus-lang/verus) is a good start for the rust ecosystem, but it's essentially a standalone language today (with custom syntax and type system).”
gz09 · recommendation
Direct HN comment
We have proof automation now