Foundations Differentiable