‹ BackHN Continuity

Thread

Developing provably correct Rust code with Verus

164 points · 79 comments · Betelbuddy

  1. m00dy · · focus · HN ↗
    >>The result is fast code that's more correct and secure than average.

    Welcome to Rust

    1. Ohentis · · focus · HN ↗
      I mean... rust alone doesn't have this feature. And many languages have a "slap z3 onto it" tool.
Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.