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 14 posts per year
- First post on
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
All of my budgeted blogwriting time is going to Logic for Programmers. Should be back early 2025. (I’m still writing the weekly newsletter.)
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 …
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 …