I am reading the “The Undoing Project: A Friendship that Changed Our Minds” from Michael Lewis.
I am enjoying it so far.
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:
My summary of the paper: