146 Episodes

  1. #104: It’s Time to Replace TCP in the Datacenter

    Published: 19/11/2022
  2. #103: GPU-Accelerated Path Rendering

    Published: 01/11/2022
  3. #102: Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow

    Published: 27/10/2022
  4. #101: Lakehouse: A New Generation of Open Platforms that Unify Data Warehousing and Advanced Analytics

    Published: 19/10/2022
  5. #100 AMA!

    Published: 14/10/2022
  6. #99.5 AMA?

    Published: 05/10/2022
  7. #99: The Prusti Project: Formal Verification for Rust

    Published: 27/09/2022
  8. #98: Dynamo: Amazon’s Highly Available Key-value Store

    Published: 14/09/2022
  9. #97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3

    Published: 23/08/2022
  10. #96: Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service

    Published: 29/07/2022
  11. #95: CockroachDB: The Resilient Geo-Distributed SQL Database

    Published: 10/07/2022
  12. #94: Mesos: A Platform for Fine-Grained Resource Sharing in the Data Cente

    Published: 02/06/2022
  13. #93: SEQUEL: A structured English query language

    Published: 25/05/2022
  14. #92: Software Development Waste

    Published: 13/05/2022
  15. #91: Serverless in the Wild

    Published: 26/01/2021
  16. #90: Evaluation of splittable pseudo-random generators

    Published: 19/01/2021
  17. #89: Conflict-free Replicated Data Types

    Published: 31/10/2020
  18. #88: A History of Haskell: being lazy with class

    Published: 27/10/2020
  19. #87: From Laptop to Lambda: Outsourcing Everyday Jobs to Thousands of Transient Functional Containers

    Published: 19/10/2020
  20. #86: JavaScript: the first 20 years

    Published: 19/10/2020

3 / 8

森田と向井がコンピュータサイエンス周辺の論文をなんとなく読んで感心する Podcast です。