Jake Zimmerman

Hey there! Here are some links you might be interested in:

If you want to contact me, I prefer email or text message.

You might also want to toggle the colorscheme.

Contents

Projects

Why is programming fun? What delights may its practitioner expect as his reward?

Fred Brooks, The Mythical Man-Month

I keep all the things I spend my time working on on GitHub.
Here are my favorite kinds of things to work on:

Writing

With writing you have the extraordinary power of a Turing machine.

Manuel Blum, Advice to a Beginning Graduate Student

I keep my writings in two places:

Recently, I’ve been writing about types and about programming.
Some selected articles:

Talks

I mostly prefer writing, but from time to time I give talks.

─▶ jez.io/talks/

Work

My heart is in the work.

Andrew Carnegie

I’m currently very satisfied with my work, but am still interested to hear about opportunities if you’re:

  1. using Haskell, OCaml, or related languages,
  2. based in Pittsburgh, or
  3. developing programming language-related tools.

I’ve been lucky enough to work at a number of great companines:

Other interests