comonad-colaboy

Was curious as to how tests like these guard against Goodhart's law (If goodheart's law is applicable here at all)?

Time to rewatch Gattaca I suppose

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

Edit: forgot to put in time limits

Hear hear

You forgot it's lispy base

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?)