Misreading Chat
146 episodes — Page 1 of 3
#143 – SWE-bench: Can Language Models Resolve Real-World GitHub Issues?
GitHub の Issue を読んでバグを直すエーアイについて森田が読みました。
#142: An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise
Rust を Linux カーネルへで使う取り組みの進捗を向井がウォッチしました。
#141: SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL
Google SQL の新しい文法を森田が紹介しました。
#140: GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models
LLM にひっかけ算数問題を出してみる話を向井が読みました。
#139: NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis
写真を集めてシーンをレンダリングするニューラルネットを森田が読みました。
#138: Distilling the Knowledge in a Neural Network
大きなモデルから小さなモデルを作るテクニックを向井が回願しました。
#137: Optimal Quantile Approximation in Streams
ストリームにパーセンタイルを計算したい森田が教科書を読みました。
#136: Distinct Elements in Streams: An Algorithm for the (Text) Book
学部生にも実装できるストリームの要素カウントアルゴリズムを向井が試しました。
#135: In-Datacenter Performance Analysis of a Tensor Processing Unit
行列の掛け算が得意なハードウェアについて森田が読みました。
#134: LoRA: Low-Rank Adaptation of Large Language Models
巨大 ML モデルの軽量 fine-tuning 手法を向井が読みました。
#133: Triton: An Intermediate Language and Compiler for Tiled Neural Network Computations
CUDA を書かずに済む GPU カーネルの DSL について森田が読みました。
#132: High-Resolution Image Synthesis with Latent Diffusion Models
Stable Diffusion の元論文を向井が読みました。
#131: FlashAttention: Fast and Memory-Efficient Exact Attention with IO-Awareness
CUDA で書かれた PyTorch 用カーネルに森田が玉砕しました。
#130: Diffusion models from scratch, from a new theoretical perspective
向井が画像生成の拡散モデルに入門しました。
#129: Programming Massively Parallel Processors (Ch.4- Ch.6)
森田が飽きずに CUDA の教科書を読んでます。
#128: Faiss: A library for efficient similarity search and clustering of dense vectors.
Meta の vector search 実装の関連論文を向井が読みました。
#127: Programming Massively Parallel Processors (Ch.1- Ch.3)
森田が CUDA の入門書を読み始めました。
#126: Vector Database Management Systems
AI 流行りで台頭中な Vector DB のサーベイを向井が眺めました。
#125: Always-on Vision Processing Unit for Mobile Applications
Intel の CPU にやってきたニューラルなんとかの出自を森田がたどりました。
#124: GAIA: a benchmark for General AI Assistants
LLM に解かせる難問集と採点結果を向井が睨みました。
#123: SYCL 2020 Specification
(壊れた音声ファイルを配信してしまったので、修正したファイルで同じエピソードを再配信しています。ごめんね。）GPGPU ワナビーの森田が C++ 拡張の GPGPU 標準を眺めました。
#122: Lifting the veil on Meta’s microservice architecture
Meta 社のインターンが分散トレーシングで集めたログを睨んだ論文を向井が読みました。
#121: The SPACE of Developer Productivity
開発生産性の測り方について森田が読みました。
#120: On-demand Container Loading in AWS Lambda
でかいコンテナイメージをサーバレスで高速に起動する話を向井が読みました。
#119: Overlapping Experiment Infrastructure
ウェブ検索の開発に使われていた A/B テストのインフラについて森田が読みました。
#118: Pathways: Asynchronous Distributed Dataflow for ML
ML アクセラレータ TPU の分散実行インフラについて向井が読みました。
#117: DuckDB: an Embeddable Analytical Database
組み込みデータベースの新顔紹介を森田が読みました。
#116: Asymmetric numeral systems
最近人気の圧縮フォーマット ZSTD のアルゴリズムについて向井が調べました。
#115: Constitutional AI: Harmlessness from AI Feedback
LLM をチャットボットに仕立てる finetuning について森田が読みました。
#114: Invisinets: Removing Networking from Cloud Networks
クラウドのネットワーク設定を簡単にする抽象について向井が読みました。
#113: Chain-of-Thought Prompting Elicits Reasoning in Large Language Models
LLM に算数の文章題を解かせるコツについて森田が読みました。
#112: SkyPilot: An Intercloud Broker for Sky Computing
クラウドをまたいでバッチのパイプラインを動かす話を向井が読みました。
#111: Formal Algorithms for Transformers
勤務先への脅威に怯える森田が Transformer を復習しました。
#110.5
最近 Reddit をはじめたよ、きてね、というお知らせです。https://www.reddit.com/r/MisreadingChat/
#110: Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems
遅くなったディスクをみつける Alibaba Cloud の実験について向井が読みました。
#109: A Measure of Transaction Processing Power
データベースベンダーの宣伝を読んでもよくわからかった森田が DB ベンチマークの歴史を読みました。
#108: The Verse Calculus
Haskell の親分により開発中の次世代関数型論理メタバース言語に向井が入門しました。
#107: Simple Ideas That Changed Printing and Publishing
Adobe と PostScript の歴史を森田が読みました。
#106: Human-level play in the game of Diplomacy by combining language models with strategic reasoning
AI がチャットしながらボードゲームで勝つ話を向井が読みました。
#105: Volcano – An Extensible and Parallel Query Evaluation System
データベースのクエリ処理に関する常識古典論文を森田が読みました。
#104: It’s Time to Replace TCP in the Datacenter
TCP をやっつけたいメッセージ志向プロトコルの提案を向井が拝聴しました。感想などはおたより投書箱にお寄せください。iTunes のレビューや星も歓迎です。
#103: GPU-Accelerated Path Rendering
森田が NVIDIA の GPU で二次元お絵描きする話を調べました。
#102: Do Developers Really Know How to Use Git Commands? A Large-scale Study Using Stack Overflow
向井が Git の難しさに見識を深めました。
#101: Lakehouse: A New Generation of Open Platforms that Unify Data Warehousing and Advanced Analytics
高給企業 Databricks の論文を森田が冷やかしました。
#100 AMA!
Podcast 100 回記念に森田と向井が読者のみなさまの質問に答えさせてもらう AMA をやってみました。
#99.5 AMA?
そろそろこの podcast も 100 回目なので、記念に AMA すなわち読者質問回でもやるのはどうだろうと向井と森田が相談しました。
#99: The Prusti Project: Formal Verification for Rust
Rust で使える静的検証ツールの論文を向井が読みました。
#98: Dynamo: Amazon’s Highly Available Key-value Store
昔 Amazon が作った DynamoDB の祖先について森田が読みました。
#97: Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
AWS の中の人が Rust の力で TLA+ に対抗する話を向井が読みました。
#96: Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database Service
AWS の人気サービス DynamoDB の論文を森田が眺めました。