I think people were waiting for a reason to kill out cursive handwriting. It seems it was on the rise or being promoted in schools because of some weird myth that intelligent folks and cursive writing were a thing and established some causal relationship going from cursive writing to higher form of intelligence
Science is about verifiable proofs (verifiable within reasonable time limits) which somewhat means the same thing as formal proofs in the grand scheme of things. Correct me if I am wrong
Could it be that 'untrained' humans are NOT good halting oracles? the trained ones are good-enough halting oracles i.e on the scale of a fully focused Euler
Can anybody expand on the link between autonomous car driving vs autonomous truck driving in terms of challenges faced. If they are similar, not sure why there is this kind of forecasting seeing how autonomous car driving is pretty much far from over or even usable. If they are vastly different, I don't imagine trucking is any easier than cars (maybe it is?)