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 |
|---|---|
| May 2021 | 1 |
| Jun 2021 | 2 |
| Jul 2021 | 1 |
| Aug 2021 | 0 |
| Sep 2021 | 0 |
| 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 |
Any gaps could be due to errors when fetching the blog’s feed.
Most recent posts
I’ve recently done a lot of work in Alloy and it’s got me thinking about a common specification pitfall. Everything in the main post applies to all formal specifications, everything in dropdowns is for experienced …
It’s April Cools! It’s like April Fools, except instead of cringe comedy you make genuine content that’s different what you usually do. For example, last year I talked about the strangest markets on the internet. …
I got a lot of responses to The Hunt For the Missing Data Type. I’ve included some of the most interesting ones below. Response Blogs The “missing” graph datatype already exists. It was invented in …