#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3

Misreading Chat - Podcast tekijän mukaan Hajime Morrita, Jun Mukai

kokeile Podimo ilmaiseksi 90!!! päivän ajan

universumia joka on täynnä satoja podcasteja ja äänikirjoja, klikkaa tätä kokeillaksesi

AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。