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 @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 ]

There are no comments on this comment yet.