Featured Video Play Icon

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.

Published by Avdi Grimm

1 Comment

  1. […] The one in which we learn about the Alloy model-checking language […]

    Reply

Leave a Reply

Your email address will not be published. Required fields are marked *