👋 I'm Jonathan, a software engineer living in Brooklyn, NY.

I’ve developed mobile applications and made large teams of engineers more productive at Slack and Block. These days, I’m most interested in programming languages, build systems, and developer tools. And verification -- if an LLM is writing my app, how do I prove it works?

I'm open to work. Need a project migrated to build with bazel? You can reach me at jschear@jschear.dev.