Picking a random element from a stream | Hacker News Reader