3 ms·
>> In ML encapsulation, shielding away of inner details often does not work. I call bs on this. It’s just that we haven’t yet invented a consistent type theory
by heavenlyblue 8y ago
>> In ML encapsulation, shielding away of inner details often does not work.
I call bs on this. It’s just that we haven’t yet invented a consistent type theory on top of ML.
- apathy 8y ago“Just” This would be like saying “it’s just that we haven’t proven P!=NP” in CS. Best of luck. Meanwhile applied people will deal with the problem by model diagnostics and sensitivity analysis as has been done for decades. I can’t wait for the next AI winter to come. So tired of this handwaving by people who don’t seem to have practical experience.
- srean 8y agoWhoah! You have quite a treasure trove in your favorites. The possibility of getting some work done vanished as soon as I found that.
- apathy 8y agoAlways happy to be a bad influence.
- heavenlyblue 8y agoYeah, but you just reduced the parent comment to ML being the same as CS. And the parent is saying the opposite: that they differ from each other. So meanwhile, speaking of applied knowledge... I believe you didn't even read what you're replying to.