1. 3

    I am reading the “The Undoing Project: A Friendship that Changed Our Minds” from Michael Lewis. I am enjoying it so far.

    1. 11

      This article inspired me to try TLA+ and adopt it for use in my distributed systems class. Here are two posts I discussed this process: http://muratbuffalo.blogspot.com/2014/08/using-tla-for-teaching-distributed.html http://muratbuffalo.blogspot.com/2015/01/my-experience-with-using-tla-in.html