>> 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.
I call bs on this. It’s just that we haven’t yet invented a consistent type theory on top of ML.
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.
So meanwhile, speaking of applied knowledge... I believe you didn't even read what you're replying to.