Misreading Chat

#143 – SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

11 Dec 2024

Contributed by Lukas

GitHub の Issue を読んでバグを直すエーアイについて森田が読みました。

#142: An Empirical Study of Rust-for-Linux: The Success, Dissatisfaction, and Compromise

04 Dec 2024

Contributed by Lukas

Rust を Linux カーネルへで使う取り組みの進捗を向井がウォッチしました。

#141: SQL Has Problems. We Can Fix Them: Pipe Syntax In SQL

13 Nov 2024

Contributed by Lukas

Google SQL の新しい文法を森田が紹介しました。

#140: GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

24 Oct 2024

Contributed by Lukas

LLM にひっかけ算数問題を出してみる話を向井が読みました。

#139: NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis

02 Oct 2024

Contributed by Lukas

写真を集めてシーンをレンダリングするニューラルネットを森田が読みました。

#138: Distilling the Knowledge in a Neural Network

11 Sep 2024

Contributed by Lukas

大きなモデルから小さなモデルを作るテクニックを向井が回願しました。

#137: Optimal Quantile Approximation in Streams

13 Aug 2024

Contributed by Lukas

ストリームにパーセンタイルを計算したい森田が教科書を読みました。

#136: Distinct Elements in Streams: An Algorithm for the (Text) Book

07 Aug 2024

Contributed by Lukas

学部生にも実装できるストリームの要素カウントアルゴリズムを向井が試しました。

#135: In-Datacenter Performance Analysis of a Tensor Processing Unit

02 Jul 2024

Contributed by Lukas

行列の掛け算が得意なハードウェアについて森田が読みました。

#134: LoRA: Low-Rank Adaptation of Large Language Models

09 Jun 2024

Contributed by Lukas

巨大 ML モデルの軽量 fine-tuning 手法を向井が読みました。

#133: Triton: An Intermediate Language and Compiler for Tiled Neural Network Computations

21 May 2024

Contributed by Lukas

CUDA を書かずに済む GPU カーネルの DSL について森田が読みました。

#132: High-Resolution Image Synthesis with Latent Diffusion Models

02 May 2024

Contributed by Lukas

Stable Diffusion の元論文を向井が読みました。

#131: FlashAttention: Fast and Memory-Efficient Exact Attention with IO-Awareness

23 Apr 2024

Contributed by Lukas

CUDA で書かれた PyTorch 用カーネルに森田が玉砕しました。

#130: Diffusion models from scratch, from a new theoretical perspective

05 Apr 2024

Contributed by Lukas

向井が画像生成の拡散モデルに入門しました。

#129: Programming Massively Parallel Processors (Ch.4- Ch.6)

26 Mar 2024

Contributed by Lukas

森田が飽きずに CUDA の教科書を読んでます。

#128: Faiss: A library for efficient similarity search and clustering of dense vectors.

09 Mar 2024

Contributed by Lukas

Meta の vector search 実装の関連論文を向井が読みました。

#127: Programming Massively Parallel Processors (Ch.1- Ch.3)

29 Feb 2024

Contributed by Lukas

森田が CUDA の入門書を読み始めました。

#126: Vector Database Management Systems

30 Jan 2024

Contributed by Lukas

AI 流行りで台頭中な Vector DB のサーベイを向井が眺めました。

#125: Always-on Vision Processing Unit for Mobile Applications

23 Jan 2024

Contributed by Lukas

Intel の CPU にやってきたニューラルなんとかの出自を森田がたどりました。

#124: GAIA: a benchmark for General AI Assistants

22 Dec 2023

Contributed by Lukas

LLM に解かせる難問集と採点結果を向井が睨みました。

#123: SYCL 2020 Specification

05 Dec 2023

Contributed by Lukas

(壊れた音声ファイルを配信してしまったので、修正したファイルで同じエピソードを再配信しています。ごめん...

#122: Lifting the veil on Meta’s microservice architecture

09 Nov 2023

Contributed by Lukas

Meta 社のインターンが分散トレーシングで集めたログを睨んだ論文を向井が読みました。

#121: The SPACE of Developer Productivity

31 Oct 2023

Contributed by Lukas

開発生産性の測り方について森田が読みました。

#120: On-demand Container Loading in AWS Lambda

21 Sep 2023

Contributed by Lukas

でかいコンテナイメージをサーバレスで高速に起動する話を向井が読みました。

#119: Overlapping Experiment Infrastructure

22 Aug 2023

Contributed by Lukas

ウェブ検索の開発に使われていた A/B テストのインフラについて森田が読みました。

#118: Pathways: Asynchronous Distributed Dataflow for ML

26 Jul 2023

Contributed by Lukas

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

#117: DuckDB: an Embeddable Analytical Database

18 Jul 2023

Contributed by Lukas

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

#116: Asymmetric numeral systems

06 Jun 2023

Contributed by Lukas

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

#115: Constitutional AI: Harmlessness from AI Feedback

23 May 2023

Contributed by Lukas

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

#114: Invisinets: Removing Networking from Cloud Networks

18 May 2023

Contributed by Lukas

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

#113: Chain-of-Thought Prompting Elicits Reasoning in Large Language Models

02 May 2023

Contributed by Lukas

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

#112: SkyPilot: An Intercloud Broker for Sky Computing

26 Apr 2023

Contributed by Lukas

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

#111: Formal Algorithms for Transformers

04 Apr 2023

Contributed by Lukas

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

#110.5

24 Mar 2023

Contributed by Lukas

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

#110: Perseus: A Fail-Slow Detection Framework for Cloud Storage Systems

21 Mar 2023

Contributed by Lukas

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

#109: A Measure of Transaction Processing Power

01 Mar 2023

Contributed by Lukas

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

#108: The Verse Calculus

02 Feb 2023

Contributed by Lukas

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

#107: Simple Ideas That Changed Printing and Publishing

21 Dec 2022

Contributed by Lukas

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

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

13 Dec 2022

Contributed by Lukas

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

#105: Volcano – An Extensible and Parallel Query Evaluation System

06 Dec 2022

Contributed by Lukas

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

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

19 Nov 2022

Contributed by Lukas

TCP をやっつけたいメッセージ志向プロトコルの提案を向井が拝聴しました。感想などはおたより投書箱にお寄せ...

#103: GPU-Accelerated Path Rendering

01 Nov 2022

Contributed by Lukas

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

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

27 Oct 2022

Contributed by Lukas

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

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

19 Oct 2022

Contributed by Lukas

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

#100 AMA!

14 Oct 2022

Contributed by Lukas

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

#99.5 AMA?

05 Oct 2022

Contributed by Lukas

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

#99: The Prusti Project: Formal Verification for Rust

27 Sep 2022

Contributed by Lukas

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

#98: Dynamo: Amazon’s Highly Available Key-value Store

14 Sep 2022

Contributed by Lukas

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

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

23 Aug 2022

Contributed by Lukas

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

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

29 Jul 2022

Contributed by Lukas

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

#95: CockroachDB: The Resilient Geo-Distributed SQL Database

10 Jul 2022

Contributed by Lukas

ちょっとやそっとで死なない分散 RDB の論文を向井が読みました。

#94: Mesos: A Platform for Fine-Grained Resource Sharing in the Data Cente

02 Jun 2022

Contributed by Lukas

Kubernetes 以前に元気だったクラスタスケジューラの論文を向井が読みました。

#93: SEQUEL: A structured English query language

25 May 2022

Contributed by Lukas

データベースワナビーになった森田が SQL に入門しました。

#92: Software Development Waste

13 May 2022

Contributed by Lukas

ソフトウェア開発のムダについて現場に潜り込み分析した論文を森田が読みました。

#91: Serverless in the Wild

26 Jan 2021

Contributed by Lukas

FaaS の運用効率を上げたいクラウド業者の工夫を森田が読みました。

#90: Evaluation of splittable pseudo-random generators

19 Jan 2021

Contributed by Lukas

Haskell で使われている乱数生成器たちを向井が紹介します。

#89: Conflict-free Replicated Data Types

31 Oct 2020

Contributed by Lukas

並列編集しても衝突しないデータ構造 CRDT に森田が入門します。

#88: A History of Haskell: being lazy with class

27 Oct 2020

Contributed by Lukas

Haskell の長い歴史を向井がたどります。

#87: From Laptop to Lambda: Outsourcing Everyday Jobs to Thousands of Transient Functional Containers

19 Oct 2020

Contributed by Lukas

AWS Lambda で Chromium をビルドしたり単体テストを流したりする話を和良が読みました。

#86: JavaScript: the first 20 years

19 Oct 2020

Contributed by Lukas

JavaScript 二十年の歴史を森田がひやかします。

#85: Continuous Profiling: Where Have All the Cycles Gone?

17 Oct 2020

Contributed by Lukas

ハードウェアカウンタを使ったプロファイラ実装を解説した論文を向井が紹介します。

#84: Profiling a warehouse-scale computer

12 Oct 2020

Contributed by Lukas

データセンターでプロファイラを動かしてわかったことは何なのか、森田が論文を読みます。

#83: Dynamic Instrumentation of Production Systems

08 Oct 2020

Contributed by Lukas

今をときめく eBPF/bpftrace の先祖 dtrace の論文を向井が紹介します。

#82: Glass: A New Media for a New Era?

05 Oct 2020

Contributed by Lukas

ガラスをクラウドの cold storage に使いたい Microsoft Research の野望を森田が紹介します。

#81: gprof: a Call Graph Execution Profiler

02 Oct 2020

Contributed by Lukas

昔は広く使われていた実行時間プロファイラ gprof の論文を向井が読みました。

#80.5

25 Sep 2020

Contributed by Lukas

Misreading Chat またちょっとやります、というお知らせです。

#80: TrueSkill™ Ranking System

06 Oct 2019

Contributed by Lukas

Splatoon 未経験者の 森田 が S ランカーの向井にランキング指南をします。

#79: Adversarial Examples Are Not Bugs, They Are Features

25 Sep 2019

Contributed by Lukas

機械学習界隈で話題沸騰の不思議な論文を向井が読んでみました。感想などはハッシュタグ #misreading か hello@m...

#78: Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networks

07 Sep 2019

Contributed by Lukas

有名物体認識のアルゴリズムのひとつ Faster RCNN を森田が紹介します。感想などはハッシュタグ #misreading か hel...

#77: Orca: Differential Bug Localization in Large-Scale Services

04 Sep 2019

Contributed by Lukas

プロダクションエラーの原因になったコミットを探す話を向井が紹介します。

#76: XPC: Architectural Support for Secure and Efficient Cross Process Call

22 Aug 2019

Contributed by Lukas

Huawei の新発表 OS がどんなものか森田が論文を読みつつ想像します。

#75: To Unify or Not to Unify: A Case Study on Unified Builds in WebKit

20 Aug 2019

Contributed by Lukas

WebKit 開発者が本気でビルド時間を速くしてみた論文を向井がみつけて読みました。

#74: FaceNet: A Unified Embedding for Face Recognition and Clustering

17 Aug 2019

Contributed by Lukas

ニューラルネッツな顔認識に森田が入門します。

#73: Understanding Real-World Concurrency Bugs in Go

13 Aug 2019

Contributed by Lukas

Go 言語にありがちな並行絡みのバグを集めた論文に向井が同情します。

#72: How (and How Not) to Write a Good Systems Paper

10 Aug 2019

Contributed by Lukas

システム論文を書く人向けガイドを森田が冷やかします。

#71: Machine Learning at Facebook: Understanding Inference at the Edge

08 Aug 2019

Contributed by Lukas

Facebook の Android 機械学習苦労話に向井が同情します。感想などはハッシュタグ #misreading か [email protected] に...

#70: Reality Engine Graphics

01 Aug 2019

Contributed by Lukas

GPU の祖先みたいな 25 年前の高級ハードウェアを森田が紹介します。

#69: Bandana: Using Non-Volatile Memory for Storing Deep Learning Models

30 Jul 2019

Contributed by Lukas

Facebook が NVM を機械学習のデータストレージに使った話を向井が紹介します。

#68: Introduction to MCMC

25 Jul 2019

Contributed by Lukas

Markov Chain Monte Carlo について森田がしったかぶりします。

#67: Towards Federated Learning at Scale: System Design

22 Jul 2019

Contributed by Lukas

Federated Learning の実運用に向けた議論を向井が眺めます。

#66: The Rendering Equation

17 Jul 2019

Contributed by Lukas

夏なので古のレイトレ方程式を森田が復習します。

#65: Communication-Efficient Learning of Deep Networks from Decentralized Data

14 Jul 2019

Contributed by Lukas

エッジデバイスを寄せ集めて分散機械学習をする Federated Learning を向井が紹介します。

#64: Automating Chaos Experiments in Production

09 Jul 2019

Contributed by Lukas

Netflix の Chaos Engineering 最新事情っぽい論文を森田が冷やかします。

#63: Programming with Algebraic Effects and Handlers

24 Jun 2019

Contributed by Lukas

関数型言語業界ではやっているらしい Algebraic Effects の論文を向井が紹介します。

#62 – A History Of Erlang

19 Jun 2019

Contributed by Lukas

Joe Armstrong 自身が書いた Erlang の歴史を森田が読みます。

#61 – Spectre is Here to Stay

14 Jun 2019

Contributed by Lukas

JS 処理系 V8 の Spectre 対策について向井が話します。

#60 – XGBoost: A Scalable Tree Boosting System

24 Apr 2019

Contributed by Lukas

GBDT の実装である XGBoost とかのコードを森田が読みます。

#59 – Do Developers Learn New Tools On The Toilet?

18 Apr 2019

Contributed by Lukas

トイレの張り紙の効能について向井が話します。

#58 – Gradient Boosting Decision Trees

11 Apr 2019

Contributed by Lukas

Kaggle 勢を賑わす GBDT なるものがなんなのか森田が遠巻きに調べます。

#57 – Asynchronous Functional Reactive Programming for GUIs

09 Apr 2019

Contributed by Lukas

当初はリアクティブ言語になるはずだったプログラミング言語 Elm について向井が話します。

#56 – Cloud Programming Simplified

04 Apr 2019

Contributed by Lukas

サーバーレス知ったかぶり用のホワイトペーパーを森田がひやかします。

#55 – Functional Reactive Programming from First Principles

29 Mar 2019

Contributed by Lukas

非同期プログラミングモデル ReactiveX の起源を向井が辿ります。

#54 – Tales of the Tail

28 Mar 2019

Contributed by Lukas

時々おこって困る性能問題 tail latency について森田が愚痴ります。

#53 – BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding

21 Mar 2019

Contributed by Lukas

NN の自然言語処理で transfer learning を実現した BERT について向井が話します。

#52 – Convolutional Color Constancy

07 Mar 2019

Contributed by Lukas

機械学習を使ったホワイトバランスのアルゴリズムについて森田が話します。

#51 – Attention Is All You Need

01 Mar 2019

Contributed by Lukas

昨年から成果が注目されている自然言語処理向けの新しいニューラルネットワーク Transformer を向井が紹介します...

#50 – Geodesic Discrete Global Grid Systems

22 Feb 2019

Contributed by Lukas

球面上で幾何アルゴリズムを実装する下地となる座標系のデザインについて森田が話します。

#49 – Mind the Gap: Analyzing the Performance of WebAssembly vs. Native Code

19 Feb 2019

Contributed by Lukas

WebAssembly とネイティブコードの性能を比較した論文を向井が紹介します。

#48 – Real-time Personalization using Embeddings for Search Ranking at Airbnb

07 Feb 2019

Contributed by Lukas

Airbnb が使っている検索アルゴリズムの一つについて森田が話します。

#47 – Engineering the Servo Web Browser Engine using Rust

31 Jan 2019

Contributed by Lukas

Rust を使ってウェブブラウザを開発する現場からの報告論文について向井が話します。