Here's a semi-recent link (~a year ago) by one of the leaders of this initiative... | Hacker News

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

NobodyNada on April 22, 2025 | parent | context | favorite | on: Verus: Verified Rust for low-level systems code

Here's a semi-recent link (~a year ago) by one of the leaders of this initiative: https://blog.yoshuawuyts.com/extending-rusts-effect-system/

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact