The other night Jess & I drank vodka mango drinks while she showed me Alloy, which is “a language for describing structures and a tool for exploring them”, according to the website. I think of it as a model checker, although that may not be the correct term. The truth is there’s a lot I don’t understand about Alloy, but Jess did a great job explaining to me why this kind of model analysis matters.
Check out the stream recording (and bonus cocktail recipe) below!
P.S. the cocktail we were drinking, which I hereby dub the “Alloy Cocktail”, was as follows:
- 2oz vodka
- 1/2oz Aperol
- Mango juice (from concentrate)
- Splash of cranberry juice (the pure stuff, not the watered-down sweet stuff)
- Top off with club soda
Pour all ingredients into a glass full of ice, stir it up a bit, garnish with whatever’s handy.