> The basic idea is to have an expressive programming language where all constru...

		enriquto on Feb 13, 2019 \| parent \| context \| favorite \| on: What Is Differentiable Programming? > The basic idea is to have an expressive programming language where all constructs are differentiable. Since the composition of diffeomorphisms is a diffeomorphism, (...) No. It has nothing to do with diffeomorphisms (which are necessarily between spaces of the same dimension), but with piecewise differentiable functions.

Thanks, I was also a little confused about that in the parent comment.