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.

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