Post

The trouble is the correctness and determinism in "what we want the computer to do" is far more important if what we want it to do is, say, keep an airliner in the sky, or operate a medical imaging device within safe limits, or keep track of people's finances, compared to e.g. make the next Wordle.