News for hackers. Stuff that matters.

A comment on Rust and the Future of Systems Programming [video]. Parent comment

Re:Rust and the Future of Systems Programming [video] by leshow on Friday November 18, 2016 @09:22AM (#12986916)
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."

[ Parent | on HN ]
Re:Rust and the Future of Systems Programming [video] by braveo on Saturday November 19, 2016 @07:49PM (#12996625)
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.

[ Parent | on HN ]