An AI community’s 250,000-person milestone · Digg