I would be much more interested in "here is a provably memory safe version of op... | Hacker News

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

Eridrus 25 days ago | parent | context | favorite | on: Leanstral 1.5: Proof abundance for all

I would be much more interested in "here is a provably memory safe version of openssl with all its memory safety bugs fixed"

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