In a jar of mixed nuts, why do Brazil nuts end up on top? | Hacker News Reader