On: Automatic Differentiation in Machine Learning: A S...

[throwawaymath]

It will increase, which I guess is sort of my point. We already know there's a lot of abstraction. If these things are only alike semantically (two pairs of dual things can be completely unrelated), what does it gain you to point out they've everywhere?

I don't mean to be obtuse, but it strikes me as saying that a city is full of concrete.

[adamnemecek → throwawaymath]

You can think of it as a really nice intermediate language.

It might be hard to build a computer system that lets you reason about both probability and say quantum mechanics.

However it might be easier to build a system that phrases a probabilistic problem in terms of duality and then solves it.

Like why should each of this have it's own foundation when there's one that captures a lot of them?