Should there be more people on the leaderboard? — LessWrong