On 2026-03-30 22:53, Dr. Arne Babenhauserheide wrote:
You've understood my stance correctly. Yes, certainty for me means the
code produces the results I expect when I run it. All the rest —
tests, tooling, generated code — serves that practical goal.
For me certainty goes a bit further: checking whether I made a logical
error in edge cases to be sure that the code also runs correctly for
cases I did not try out manually.
That is of course a must, though just matter how far we go to absolutes.
Once program is running, there are many of those cases, not even to say
"edge cases", which have to be handled to be safe and functional.
--
Jean Louis
---
via emacs-tangents mailing list
(https://lists.gnu.org/mailman/listinfo/emacs-tangents)
