News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.