Homer: Provable Exploration in Reinforcement Learning | Hacker News Reader