After building robots at CMU's CS program, he's been building anti-spam infrastructure to keep the bad guys off Facebook. In 2013, he founded the Haxl project with Simon Marlow and has spearheaded the growth of Haskell at Facebook.