Bloom filters: the niche trick behind a 16× faster API