Skip to Content


Hi, I’m Hillel. I’m a programmer in the Chicago area. Most of my job is backend web dev, but my main interest is in technical writing. My main example of that is Learn TLA+, an introduction to formal methods with practical examples. This blog is here to dump all of my smaller projects.

And weird jokes. Lots and lots of weird jokes.

You can reach me at