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 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 |
Any gaps could be due to errors when fetching the blog’s feed.
Most recent posts
This is my writeup of all the talks I saw at Strangeloop, written on the train ride back, while the talks were still fresh in my mind. Now that all the talks are online I …
Short version: If X inherits from Y, then X should pass all of Y’s black box tests. I first encountered this idea at SPLASH 2021. The longer explanation A bit of background In A Behavioral …
tl;dr annotated AHK scripts here. Anybody who’s spent time with me knows how much I love AutoHotKey, the flat-out best Windows automation tool in the world. Anybody’s who’s tried to use AutoHotKey knows how intimidating …