Ask HN: Should there be a 'Dashboard of Human Progress in Formal Fields'? | Hacker News Reader