Hacker News on 13 October 2020