Hello world! I'm Jimmy. By day, I work at MIT trying to make program transformation and synthesis tools easier to build ("programs that write programs that write programs"), and by night I help software engineers learn to write better code. I blog mainly about improving code quality, and occasionally about life quality.