After ten years, Yahoo CTO calls it quits