フォロー
Listening to Misreading Chat – #97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
https://overcast.fm/+MgbqVsgwQ
