comonad-colaboy's comments

comonad-colaboy | 7 years ago | on: Launch HN: CSPA (YC S18) – SAT for Software Engineers

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

comonad-colaboy | 7 years ago | on: The ‘Geno-Economists’ Say DNA Can Predict Our Chances of Success

Time to rewatch Gattaca I suppose

comonad-colaboy | 7 years ago | on: How the Ballpoint Pen Killed Cursive

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

comonad-colaboy | 7 years ago | on: The world is not an engineering problem

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

comonad-colaboy | 7 years ago | on: Crazy Work Hours and Lots of Cameras: a group from Silicon Valley visits China

Hear hear

comonad-colaboy | 7 years ago | on: Ask HN: Is Visual Studio Code the Emacs of 21st century?

You forgot it's lispy base

comonad-colaboy | 7 years ago | on: Intelligence as a Halting Oracle

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

comonad-colaboy | 7 years ago | on: Autonomous Trucks and the Future of the American Trucker

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