Re:Formal methods only solve half my problems
by aeneasmackenzie on Friday June 03, 2022 @08:59PM
(#31615731)
Leslie Lamport had an essay about this. Without a spec, even if it's just "Serves the user's homepage", your program is not even wrong.
[ Parent
| on HN ]
There are no comments on this comment yet.