computer science, physics, liberal arts (2007) web infrastructure (2011) startup, philosophy (2013) AI safety (2017) intermission (2018) AI ethics, policy, strategy (2019)