Skip to Content


Hi, I’m Hillel. I’m a programmer in the Chicago area. I’m a web dev who likes technical writing. My general interests in software are:

  • Formal Methods: how do we rigorously prove code is correct?
  • Software Correctness: how do we prevent and remove bugs in complex codebases?
  • Empirical Software Engineering: what actually works in software, and how do we know this?
  • Software History: how did we get to where we are today?
  • Cool Niche Languages.

Currently I’m not looking for full employment but am available for consulting opportunities.

You can reach me at I always like receiving emails, especially on interesting developments in ESE or new topics to explore. See my open invite.