John Backus (@backus) · Digg