I am unsure but as a formal verification (pupil of dijkstra and his students in eindhoven and Amsterdam) person, I see this happening in a crazy waterfall and i

I am unsure but as a formal verification (pupil of dijkstra and his students in eindhoven and Amsterdam) person, I see this happening in a crazy waterfall and indeed people on HN are the last deniers who keep saying 'it does not work for them'. It works for the rest of the world and things are going completely ape shit now. I am happy to be old as I probably won't live through the fallout; I would say I hope we change our ways and redistribute the gained wealth here but it won't happen. And then we also do not learn from having terrible software ruining lives...