>>The result is fast code that's more correct and secure than average. Welcome t... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

m00dy 15 days ago | parent | context | favorite | on: Developing provably correct Rust code with Verus

>>The result is fast code that's more correct and secure than average.

Welcome to Rust

Ohentis 13 days ago [–]

I mean... rust alone doesn't have this feature. And many languages have a "slap z3 onto it" tool.

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact