Misreading Chat は、会社員プログラマの森田と向井がコンピュータサイエンス周辺の論文を雑に読んで感心する Podcast です。
Podcast の購読には RSS, iTunes, Pocket Casts, Google などをご利用ください。Hash tag は #misreading を使っています。
#99: The Prusti Project: Formal Verification for Rust#99:
Rust で使える静的検証ツールの論文を向井が読みました。
Rust で使える静的検証ツールの論文を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
#98: Dynamo: Amazon’s Highly Available Key-value Store
昔 Amazon が作った DynamoDB の祖先について森田が読みました。
昔 Amazon が作った DynamoDB の祖先について森田が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。
AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
- Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3 | Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles
- Prusti – Programming Methodology Group | ETH Zurich
- tokio-rs/loom: Concurrency permutation testing tool for Rust.
- awslabs/shuttle: Shuttle is a library for testing concurrent Rust code
#96: Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service
AWS の人気サービス DynamoDB の論文を森田が眺めました。
AWS の人気サービス DynamoDB の論文を森田が眺めました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
#95: CockroachDB: The Resilient Geo-Distributed SQL Database
ちょっとやそっとで死なない分散 RDB の論文を向井が読みました。
ちょっとやそっとで死なない分散 RDB の論文を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
- CockroachDB: The Resilient Geo-Distributed SQL Database | Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data
- Spanner: Google’s Globally Distributed Database: ACM Transactions on Computer Systems: Vol 31, No 3
- CockroachDB: The Definitive Guide — Learn to Build What Can’t Be Killed
- Spencer Kimball (computer programmer) – Wikipedia
- Peter Mattis – Wikipedia
- Ben Darnell – Wikipedia
#94: Mesos: A Platform for Fine-Grained Resource Sharing in the Data Cente
Kubernetes 以前に元気だったクラスタスケジューラの論文を向井が読みました。
Kubernetes 以前に元気だったクラスタスケジューラの論文を向井が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
#93: SEQUEL: A structured English query language
データベースワナビーになった森田が SQL に入門しました。
データベースワナビーになった森田が SQL に入門しました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
- SEQUEL: A structured English query language
- A Relational Model of Data for Large Shared Data Banks
- Specifying queries as relational expressions: The SQUARE data sublanguage
森田の PC ノイズが聞き苦しくなってしまいましたがご容赦ください。夏のせいです。
#92: Software Development Waste
ソフトウェア開発のムダについて現場に潜り込み分析した論文を森田が読みました。
ソフトウェア開発のムダについて現場に潜り込み分析した論文を森田が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
#91: Serverless in the Wild
FaaS の運用効率を上げたいクラウド業者の工夫を森田が読みました。
FaaS の運用効率を上げたいクラウド業者の工夫を森田が読みました。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
#90: Evaluation of splittable pseudo-random generators
Haskell で使われている乱数生成器たちを向井が紹介します。
Haskell で使われている乱数生成器たちを向井が紹介します。感想などはハッシュタグ #misreading か hello@misreading.chat にお寄せください。iTunes のレビューや星も歓迎です。
Misreading Chat 