He's contributed to a variety of parts of the codebase, including Facebook's open source C++ library (folly), and the search backend. These days he works on HHVM, with the aim of making PHP a better, faster language.