Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
kite42
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
kite42
17d ago
All it does is dispatch proof obligations to an SMT solver like Z3. There is nothing special about Verus, it works in the same way other program verification frameworks like Dafny and Frama-C work - except it's for Rust. Most of this
2.
▲
by
kite42
3y ago
Some of this stuff isn't really insightful. > It’s only awkward if you make it awkward. Or THEY make it awkward. > Don’t make your problems other people’s problems. Well, yea... Also don't attack other people, and don't