Livres — differentiable programming