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 two posts per month
- First post on
Posts per month
| Month starting | Posts |
|---|---|
| Oct 2021 | 1 |
| Nov 2021 | 1 |
| Dec 2021 | 1 |
| Jan 2022 | 0 |
| Feb 2022 | 1 |
| Mar 2022 | 0 |
| Apr 2022 | 1 |
| May 2022 | 0 |
| Jun 2022 | 0 |
| Jul 2022 | 2 |
| Aug 2022 | 4 |
| Sep 2022 | 3 |
| Oct 2022 | 0 |
| Nov 2022 | 3 |
| Dec 2022 | 0 |
| Jan 2023 | 1 |
| Feb 2023 | 2 |
| Mar 2023 | 3 |
| Apr 2023 | 3 |
| May 2023 | 2 |
| Jun 2023 | 0 |
| Jul 2023 | 1 |
| Aug 2023 | 1 |
| Sep 2023 | 0 |
| Oct 2023 | 0 |
| Nov 2023 | 1 |
| Dec 2023 | 1 |
| Jan 2024 | 2 |
| Feb 2024 | 1 |
| Mar 2024 | 2 |
| Apr 2024 | 2 |
| May 2024 | 3 |
| Jun 2024 | 1 |
| Jul 2024 | 1 |
Any gaps could be due to errors when fetching the blog’s feed.
Most recent posts
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 …
This version of the talk was given at DDD Europe, 2024. Technology is a multitrillion dollar industry, but we know almost nothing about how it’s best practiced. Empirical Software Engineering, or ESE, is the study …