Re:Time Till Open Source Alternative
by 082349872349872 on Sunday August 28, 2022 @10:01AM
(#32628449)
I suspect Dijkstra made the relevant distinction in a different context: the open source process is geared to providing correct software, not pleasant software.
> The pleasantness problem deals with the question how satisfactory a system meeting a given functional specification would be; the correctness problem deals with the question whether a given system meets that functional specification. The correctness problem being an entirely technical one, the functional specification can provide strong heuristic guidance for the system designer.
> The pleasantness problem deals with the question how satisfactory a system meeting a given functional specification would be; the correctness problem deals with the question whether a given system meets that functional specification. The correctness problem being an entirely technical one, the functional specification can provide strong heuristic guidance for the system designer.