仕様検証言語 TLA+ の AWS における使用事例について向井が話します。
Misreading Chat は Jetpack Podcast で作成されています。 https://misreading.chat/ での完全なショーノートとすべてのエピソード
