No posts. Show all posts
No posts. Show all posts
Hello world! I'm Jimmy, and I help software engineers learn to write better code. Previously, I did my Ph. D. at MIT on ways to make program transformation and synthesis tools easier to build, a.k.a. "meta-metaprogramming." I blog mainly about improving code quality, and occasionally about life quality.