Looks like http://ycombinator.com/people.html doesn't list Paul Buchheit yet.