The winner of the Google programming contest.