quoting pcwalton up above: "I don't care if the software is verified via librari... | Hacker News

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

leshow on Nov 18, 2016 | parent | context | favorite | on: Rust and the Future of Systems Programming [video]

quoting pcwalton up above:

"I don't care if the software is verified via libraries or compilers. The problem is that C++ verifiers don't work."

braveo on Nov 20, 2016 [–]

right, I too can make assertions with no evidence to back them up.

If that's really your bar, then we don't have much more to discuss.

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact