• Home
  • Podcasts
  • Charts
  1. Home
  2. Podcasts
  3. Misreading Chat
  4. #97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3

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

Misreading Chat - Een podcast door Hajime Morrita, Jun Mukai

Probeer Podimo de eerste 60! dagen gratis

Probeer Podimo de eerste 60! dagen gratis

Luister 30 dagen gratis naar exclusieve podcasts en duizenden luisterboeken

Sponsored
Podcast artwork

Categorieën:

Technologie

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

  • Alle podcasts
  • Afleveringen
  • Blog
  • Over ons
  • Privacybeleid
  • Wat is een podcast?
  • Hoe beluister je een podcast?

© Podcast24.nl 2025