News for hackers. Stuff that matters.

A comment on Announcing Rust 1.20. Parent comment

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 ]