BitGym: Our First Lean Hypothesis | Hacker News Reader