News for hackers. Stuff that matters.

A comment on Formal methods only solve half my problems. Parent comment

Re:Formal methods only solve half my problems by csours on Friday June 03, 2022 @09:40PM (#31616005)
Correctness needs a specification. Correctness hates side effects. Shell type scripts are all about side effects.
[ Parent | on HN ]

There are no comments on this comment yet.