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