alf
Good stuff in @caitie's talk on verifying distributed systems. These two are my favourites https://t.co/laKupphZjV https://t.co/DKEX4oZHA4 https://twitter.com/alf239/status/744078719975890944