Packomania: Optimal circle packing leaderboard, to n=10000 | Hacker News Reader