[heavenlyblue]

>> 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]

“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]

Whoah! You have quite a treasure trove in your favorites. The possibility of getting some work done vanished as soon as I found that.

[apathy]

Always happy to be a bad influence.

[heavenlyblue]

Yeah, 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.