Re:Royal College considers no confidence move after Excel re...
by pjc50 on Friday October 20, 2023 @09:35AM
(#37955770)
What I think more people should appreciate is that in any business process, computer or otherwise, there's a speed/generality/correctness/accountability tradeoff.
AI sits at the "speed" corner. Excel, a fully dynamic interactive programming language with one type "cell", gives slightly better correctness and accountability. Coalescing process into program continues to move you to the other end. Once you start employing typechecking and later formal verification, you get more correctness and accountability - BUT at a cost of development time, AND generality. The correctness is achieved precisely by being tailored to the specifics and rejecting the general.
This can apply to entirely physical processes. Some "aerospace" grade parts are very similar to normal parts .. but with a huge overhead of accountability. Because getting the right outcome matters.
AI sits at the "speed" corner. Excel, a fully dynamic interactive programming language with one type "cell", gives slightly better correctness and accountability. Coalescing process into program continues to move you to the other end. Once you start employing typechecking and later formal verification, you get more correctness and accountability - BUT at a cost of development time, AND generality. The correctness is achieved precisely by being tailored to the specifics and rejecting the general.
This can apply to entirely physical processes. Some "aerospace" grade parts are very similar to normal parts .. but with a huge overhead of accountability. Because getting the right outcome matters.