More planets than stars: Inferred using gravitational microlensing | Hacker News Reader