8 Jan
2024
8 Jan
'24
11:15 a.m.
On Mon, 8 Jan 2024 10:51:12 +1300, Peter Reutemann wrote:
Rather than just splurging out code, maybe "mathematical proofs" are the better approach?
As Donald Knuth once said: “Beware of bugs in the above code; I have only proved it correct, not tried it.” <https://list.waikato.ac.nz/archives/list/wlug(a)list.waikato.ac.nz/message/JWLYMOIYRKKTY5X3TR5CFYZRJDCPACVU/>