Skip to content

Hillel Wayne

This blog is a mix of deep dives into formal methods for businesses and programming topics I find interesting.

  • By Hillel Wayne
  • Based in United States of America
  • Roughly 15 posts per year
  • First post on

Posts per year

Data for this chart is available in the table below
Posts per year
Year starting Posts
2021 7
2022 14
2023 15
2024 13

Any gaps could be due to errors when fetching the blog’s feed.

Most recent posts

Hiatus
All of my budgeted blogwriting time is going to Logic for Programmers. Should be back early 2025. (I’m still writing the weekly newsletter.)
On , 24 words
Toolbox languages
A toolbox language is a programming language that’s good at solving problems without requiring third party packages. My default toolbox languages are Python and shell scripts, which you probably already know about. Here are some …
On , 1,625 words
Composing TLA+ Specifications with State Machines
Last year a client asked me to solve a problem: they wanted to be able to compose two large TLA+ specs as part of a larger system. Normally you’re not supposed to do this and …
On , 3,470 words