Andrej Karpathy observes that the safety guarantees needed from software are not dissimilar to those required for self-driving vehicles.
It's very interesting to hear you say that, that the safety guarantees you need from software are not dissimilar to self-driving.