Yes, there are quite a few details to work through to reduce the risk of this being spoofed, and dealing with legacy devices, but in principle this could work and wouldn't be too difficult for manufacturers to implement.
Writing formal specs, and proving your code meets that formal specs, is very hard, very slow work. Data61 proved that their microkernel implements a formal spec. It took them 25 person-years to implement a 7500 line kernel. Very very few software projects justify that level of expenditure.
I agree that system programming should be moving to languages/environments that make safer programming easier though. Why we're still writing non-performance critical code with buffer overflows in 2016 is beyond me.
Who would have thought that programming a car to lie to the US EPA was a good idea? Dozens of engineers at VW, apparently.
It's also a solved problem in many American cities, but whatever. Enjoy your Freedom(TM).
For various reasons, it was decided that all engineering students had to learn mobile app development in their first year of the degree. Every single person in the faculty who had any experience with Android told them it was a terrible idea.
Your guy is disliked by a far bigger proportion of the population than the proportion that like him. He is disliked far more than Hillary Clinton, according to the polls.
Your guy has little acquaintance with facts in his public rhetoric, but that doesn't make them go away. Trump will lose the general election to Hillary. The remaining question is whether his negative impact on the Republican vote will cost the GOP the House and Senate as well.
Scratch largely removes the barrier of remembering syntax and dealing with syntax errors. This gets people who might have otherwise been put off over a significant hump.
However, there are two other barriers to becoming an effective programmer that Scratch doesn't help with at all.
Scratch doesn't help one iota with any of the above.
My interest is prompted because I plan to do some testing related research that requires building the code many times. My working assumption was that systems are fast enough these days that you could build pretty much anything in a short reasonable amount of time by throwing a big enough set of compute nodes at the problem. Worth knowing that isn't always the case.
In 2012, there were 0.55 deaths per 100 million road vehicle kilometres travelled. For business and private flying in GA aircraft, (which is mostly A to B, but does include a few riskier activities such as cattle mustering) the death rate is about 40 deaths per million flying hours, and if you assume that the average speed is something like 200 km/h, that comes out to 20 deaths per 100 million aircraft kilometres travelled.
GA aviation is much riskier than driving a car, and comparable to riding a motorcycle.
Do you think you've reached the realistic limits of how much you could parallelize the build process?
>Do you believe rehabilitation is impossible or do you want revenge?
I don't believe that someone who commits mass murder can be rehabilitated, no. It isn't about revenge; it's about public safety.
Someone once pointed out that hoping a rapist gets raped in prison isn't a victory for his victim(s), because it somehow gives him what he had coming to him, but it's actually a victory for rape and violence. I wish I could remember who said that, because they are right. The score doesn't go Rapist: 1 World: 1. It goes Rape: 2.
What this man did is unspeakable, and he absolutely deserves to spend the rest of his life in prison. If he needs to be kept away from other prisoners as a safety issue, there are ways to do that without keeping him in solitary confinement, which has been shown conclusively to be profoundly cruel and harmful.
Putting him in solitary confinement, as a punitive measure, is not a victory for the good people in the world. It's a victory for inhumane treatment of human beings. This ruling is, in my opinion, very good and very strong for human rights, *precisely* because it was brought by such a despicable and horrible person. It affirms that all of us have basic human rights, even the absolute worst of us on this planet.
Uncertain fortune is thoroughly mastered by the equity of the calculation. - Blaise Pascal