The Lean LaunchPad at Stanford -- Class 6: Channel Hypotheses | Hacker News Reader