Misreading Chat

#118: Pathways: Asynchronous Distributed Dataflow for ML 26.07.2023 34:34 ↓

ML アクセラレータ TPU の分散実行インフラについて向井が読みました。

#117: DuckDB: an Embeddable Analytical Database 18.07.2023 29:51 ↓

組み込みデータベースの新顔紹介を森田が読みました。

#116: Asymmetric numeral systems 06.06.2023 40:28 ↓

最近人気の圧縮フォーマット ZSTD のアルゴリズムについて向井が調べました。

#115: Constitutional AI: Harmlessness from AI Feedback 23.05.2023 36:42 ↓

LLM をチャットボットに仕立てる finetuning について森田が読みました。

#114: Invisinets: Removing Networking from Cloud Networks 18.05.2023 40:18 ↓

クラウドのネットワーク設定を簡単にする抽象について向井が読みました。

#113: Chain-of-Thought Prompting Elicits Reasoning in Large Language Models 02.05.2023 25:48 ↓

LLM に算数の文章題を解かせるコツについて森田が読みました。

#112: SkyPilot: An Intercloud Broker for Sky Computing 26.04.2023 39:24 ↓

クラウドをまたいでバッチのパイプラインを動かす話を向井が読みました。

#111: Formal Algorithms for Transformers 04.04.2023 38:01 ↓

勤務先への脅威に怯える森田が Transformer を復習しました。

#110.5 24.03.2023 3:54 ↓

最近 Reddit をはじめたよ、きてね、というお知らせです。https://www.reddit.com/r/MisreadingChat/

#110: Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems 21.03.2023 45:40 ↓

遅くなったディスクをみつける Alibaba Cloud の実験について向井が読みました。

#109: A Measure of Transaction Processing Power 01.03.2023 38:06 ↓

データベースベンダーの宣伝を読んでもよくわからかった森田が DB ベンチマークの歴史を読みました。

#108: The Verse Calculus 02.02.2023 41:29 ↓

Haskell の親分により開発中の次世代関数型論理メタバース言語に向井が入門しました。

#107: Simple Ideas That Changed Printing and Publishing 21.12.2022 45:22 ↓

Adobe と PostScript の歴史を森田が読みました。

#106: Human-level play in the game of Diplomacy by combining language models with strategic reasoning 13.12.2022 45:22 ↓

AI がチャットしながらボードゲームで勝つ話を向井が読みました。

#105: Volcano – An Extensible and Parallel Query Evaluation System 06.12.2022 44:40 ↓

データベースのクエリ処理に関する常識古典論文を森田が読みました。

#104: It’s Time to Replace TCP in the Datacenter 19.11.2022 30:19 ↓

TCP をやっつけたいメッセージ志向プロトコルの提案を向井が拝聴しました。感想などはおたより投書箱にお寄せください。iTunes のレビューや星も歓迎です。

#103: GPU-Accelerated Path Rendering 01.11.2022 37:35 ↓

森田が NVIDIA の GPU で二次元お絵描きする話を調べました。

#102: Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow 27.10.2022 45:59 ↓

向井が Git の難しさに見識を深めました。

#101: Lakehouse: A New Generation of Open Platforms that Unify Data Warehousing and Advanced Analytics 19.10.2022 40:41 ↓

高給企業 Databricks の論文を森田が冷やかしました。

#100 AMA! 14.10.2022 47:17 ↓

Podcast 100 回記念に森田と向井が読者のみなさまの質問に答えさせてもらう AMA をやってみました。

#99.5 AMA? 05.10.2022 6:43 ↓

そろそろこの podcast も 100 回目なので、記念に AMA すなわち読者質問回でもやるのはどうだろうと向井と森田が相談しました。

#99: The Prusti Project: Formal Verification for Rust 27.09.2022 39:33 ↓

Rust で使える静的検証ツールの論文を向井が読みました。

#98: Dynamo: Amazon’s Highly Available Key-value Store 14.09.2022 39:20 ↓

昔 Amazon が作った DynamoDB の祖先について森田が読みました。

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

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

#96: Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service 29.07.2022 47:48 ↓

AWS の人気サービス DynamoDB の論文を森田が眺めました。