Hacker News on 12 October 2020