News for hackers. Stuff that matters.

A comment on TLA+. Parent comment

Re:TLA+ by texthompson on Tuesday May 26, 2015 @12:01AM (#9602876)
Totally agree. Both correctness and security are important, but they're not the only concerns in developing useful software.
[ Parent | on HN ]

There are no comments on this comment yet.