I'm a software engineer at Google, interested in programming languages, operating systems and the fundamentals of computation