Hacker News10d ago1 min read

Verus is a tool for verifying the correctness of code written in Rust

Discussed on Hacker News with 7 points and 0 comments.

Get the 10 best reads every Sunday

Curated by AI, voted by readers. Free forever.

Loading comments…

Hacker News35d ago

$500 GPU outperforms Claude Sonnet on coding benchmarks

Discussed on Hacker News with 377 points and 217 comments.

377

Hacker News16d ago

Discussed on Hacker News with 200 points and 53 comments.

200

Hacker News38d ago

Discussed on Hacker News with 115 points and 13 comments.

115

Liked this? Start your own feed.