The Pragmatic Engineer: San Francisco is back as the world’s leading tech hub