There is also this other thing that software people often miss completely thinking that having an app for something actually solves the problem. There is this nasty thing about real life where complexity is no only in software but also in physical rules for subcomponents (like airplanes for instance which are everything but simple) as well as those things called traffic rules - these can pretty much limit what the amount of traffic in certain area can be. In other words software is only one part of the system that has limiting factors in different places. Again most of 'software people' I had to deal with in my life were simpletons even if some of them were real programmers with very high standards (this is a tiny minority of course). They are of course no different from anybody else. There are reason why humans need regulations - otherwise 'experts' that is me and my brother in law would fuck up all there is to fuck up after all we are flight control experts because we have no clue about huge software and real life systems which contain software among other complex parts. The good thing is
I've never programmed in ADA but a little VHDL in school and it looks very familiar.
BTW use of words like 'free' or 'just' in the answer makes it invalid automatically.
BTW Could this be that huge number of mad cows steaks have been consumed by Shatner along his service in Enterprise?
If you want to execute people on the cheap, remove some of the due process and accept that you will occasionally condemn and execute an innocent man.
You assume then that there are no innocent people on death row in US? Hmm there are reports of some being released from time to time which surely tells us this is not true? What about badly done DNA checks as was reported lately? What about few other 'little' shortcomings of US justice systems where it is sometimes better to accept a 'deal' putting one in prison for life than fight an uphill battle with a chance of ending on death row.