Hot: differentiable-programming