Bloom filters, and when a probabilistic set is the right callTrade a little certainty for a lot of memory — the math is friendlier than it looks.