My guess is that it aimed to discourage people from splitting the cable and being able to connect more TVs within the house than the subscription bundle allows without paying extra.

I still got a half implementation of the Calendrical Calculation book's algorithm in Erlang (with the authors' permission) laying around somewhere, let's team up on this terrible idea!

It does. I found it to be easier to develop and teach than it was for data generation-intensive patterns, and that ended up being the main approach I pushed in my PBT book (and following talks) for anything becoming close to stateful. Collections of simple models over a single complex one too.

they’re easier when you shift to “model-based” where you have either a simple and more easily correct (albeit poorly performing) implementation or representation of operation sequences, and use PBT to compare it with the implementation. Still requires good generators though.

Yes and also preventing further changes where such restrictions did not exist before also is a change

To be fair this sounds better than a ‘profactual’ such as “if you don’t double my salary then you will have an incident next year” (I think doomsaying and related threats should be renamed ‘profactuals’ starting roughly right now)

It doesn’t have the cool little arrow bits but nothing that can’t be fixed by using the triangle.

I had a similar stencil as a kid for geometry and whatnot and it just dawned on me that these are all the same god damn shapes as I use in software architecture diagrams. I might still have one somewhere.

Un ami vivant au Japon en a rapporté en revenant au Québec plus tôt cet été!

If you ever tried the little gummy burgers or hot dogs, the Oscar Mayer gummies taste like the bread gummy