Homer: Provable Exploration in Reinforcement Learning | Dark Hacker News