Hacker Next
Show HN: Vekos – a Rust OS with Built-In Cryptographic Verificationgithub.com
82 points by jgiraldo29 28 days ago | 15 comments