Jessitron & Avdi Learn About Alloy A dive into formal model checking, plus a bonus cocktail recipe Read More Collaborations Videos April 21, 2020
Don’t throw away invalid data Recently I saw a wonderful talk about domain modeling in F#, by Scott Wlaschin. Here’s an older version of it. It was a superbly executed presentation, crystal clear and compelling…. Read More Articles September 24, 2019