Provably Faster Gradient Descent via Long Steps | Hacker News Reader