Text this: Differentiable optimization and equation solving