Edit: There is a leaderboard https://adventofcode.com/2018/leaderboard https://adventofcode.com/2018/leaderboard > Getting a star first is worth 100 points, se

Edit: There is a leaderboard https://adventofcode.com/2018/leaderboard https://adventofcode.com/2018/leaderboard > Getting a star first is worth 100 points, second is 99, and so on down to 1 point at 100th place.