The case for proportional programming fonts (2020) | Hacker News Reader