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
"The world is not an engineering problem" says the overprivileged pompous first-worlder who needs a dose of harsh reality every now and then. Send his ass to a destitute third-world country where food and sanitation is scarce, and then let's see how his "feelings" matter
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?)