News for hackers. Stuff that matters.

A comment on Why Don't People Use Formal Methods?. Parent comment

Re:Why Don't People Use Formal Methods? by Retra on Tuesday January 22, 2019 @10:22AM (#18968850)
The result of that will not be easy to use objects, but hard to use primitives.
[ Parent | on HN ]

There are no comments on this comment yet.