Misreading Chat

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

Listen Later
AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。
...more
View all episodesView all episodes
Download on the App Store
Misreading ChatBy Hajime Morrita, Jun Mukai
  • 5
  • 5
  • 5
  • 5
  • 5

5

6 ratings

More shows like Misreading Chat

View all
Rebuild by Tatsuhiko Miyagawa

Rebuild

51 Listeners

耳で学ぶAI、ロボシンク by 矢野 哲平

耳で学ぶAI、ロボシンク

1 Listeners