All hail our new leader — AMD-powered El Capitan becomes officially the world’s fastest supercomputer