I am spending my summer at X, the moonshot factory (formerly Google X) as PhD Research Resident, and will be working on Program Synthesis.