News for hackers. Stuff that matters.

A comment on Announcing Rust 1.20. Parent comment

Re:Announcing Rust 1.20 by catnaroek on Friday September 01, 2017 @03:00PM (#15151485)
Alas, tests aren't proofs.
[ Parent | on HN ]
Re:Announcing Rust 1.20 by burntsushi on Friday September 01, 2017 @06:09PM (#15152759)
Yet, tests are still useful!
[ Parent | on HN ]
Re:Announcing Rust 1.20 by catnaroek on Friday September 01, 2017 @06:19PM (#15152808)
Not if the goal is to prove that an algorithm meets a specification, which is more often than not my goal.
[ Parent | on HN ]