Twitter, public opinion and the pace of AI progress · Digg