Show HN: Torch Lens Maker – Differentiable Geometric Optics in PyTorch