Differentiable strong lensing: uniting gravity and neural nets through differentiable probabilistic programming. Issue 1 (28th May 2020)