Linus was my boss at Google for nearly 10 years. His main contribution was one of the key people behind Chrome. He's as good as they come.