Does the presence of an algorithm mean that there is a leaky abstraction?
And if that's all it takes (I'm not agreeing with you, I think this is a poorly considered heuristic), then isn't software engineering chock-full of leaky abstractions? So it's at least as bad as mathematics, and likely worse by your own measure of what makes for leaky abstractions.
And if that's all it takes (I'm not agreeing with you, I think this is a poorly considered heuristic), then isn't software engineering chock-full of leaky abstractions? So it's at least as bad as mathematics, and likely worse by your own measure of what makes for leaky abstractions.