AWS’s Christian Hoff highlights agency strides in high-performance computing, data management and AI using the cloud — and what to look for at the AWS Summit.