comonad-colaboy

4 ms·

1. 1.▲
   by comonad-colaboy 8y ago

   Was curious as to how tests like these guard against Goodhart's law (If goodheart's law is applicable here at all)?
2. 2.▲
   by comonad-colaboy 8y ago

   Time to rewatch Gattaca I suppose
3. 3.▲
   by comonad-colaboy 8y ago

   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 causa
4. 4.▲
   by comonad-colaboy 8y ago

   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
5. 5.▲
   by comonad-colaboy 8y ago

   Hear hear
6. 6.▲
   by comonad-colaboy 8y ago

   You forgot it's lispy base
7. 7.▲
   by comonad-colaboy 8y ago

   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
8. 8.▲
   by comonad-colaboy 8y ago

   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
9. 9.▲
   Ask HN: Why are we so far from reaching acceptable autonomous driving?

   3 points by comonad-colaboy 8y ago|6 comments