イチゼロエフエム

Meta社の障害分析プラットフォームDrPについてブログ記事を見ながら雑談しました。後半はGrafana LabsがAIを使って障害原因の究明を高速化した件について話しています。
DrP: Meta's Root Cause Analysis Platform at Scale
[2512.04250] DrP: Meta's Efficient Investigations Platform at Scale
A tale of two incident responses: How our AI assistant found the root cause 3.5x faster
LLM plugin for Grafana
Chapters:(00:00) Opening(04:42) DrP: Meta’s Root Cause Analysis Platform at Scale(18:24) A tale of two incident responses: How Grafana’s AI assistant found the root cause 3.5 times faster(28:25) Ending

Rocという新興のプログラミング言語について、言語の著者が出演したPodcastの内容や言語の公式ドキュメントの説明を見ながら雑談しました。
Roc with Richard Feldman - Rust in Production Podcast | corrode Rust Consulting
Raku®
The Roc Programming Language
Fast | Roc
Platforms and Apps | Roc
Friendly | Roc
Functional | Roc
GitHub - roc-lang/roc: A fast, friendly, functional language.
Chapters:(00:00) Opening(03:01) The Roc Programming Language(08:37) Rocの特徴(11:39) 特徴その1: Fast(13:56) Platform抽象化(19:36) 特徴その2: Friendly(24:39) 特徴その3: Functional(35:59) Ending

io_uringを使ってPostgreSQLの性能改善をしたという論文について、改善のステップをたどりながら雑談しました。最後に少しだけRust for Linuxの話もしました。
High-Performance DBMSs with io_uring: When and How to use it 
io_uring - Wikipedia
The (successful) end of the kernel Rust experiment [LWN.net]
Chapters:(00:00) Opening(04:36) High-Performance DBMSs with io_uring(07:02) io_uring ってなんだっけ(11:46) Buffer Manager(12:49) io_uringによるスループットの改善(27:01) スループット改善のまとめ(32:14) The successful end of the kernel Rust experiment

Jepsenが出しているMaelstromというプロダクトを使っていろんなレプリケーションアルゴリズムを実装してみたくなった話をしています。後半はDatabentoでとあるシステムのリライトにRustではなくC++を採用した根拠などについて雑談しています。
Implementing Raft in Maelstrom
https://github.com/jepsen-io/maelstrom/tree/main/doc/06-raft
https://github.com/jepsen-io/maelstrom/blob/main/doc/workloads.md#workload-lin-kv 
Fly.io Distributed Systems Challenge
Why we didn't rewrite our feed handler in Rust | Databento Blog
Chapters:(00:00) Opening(02:16) Maelstrom(16:41) 現在の進捗状況と今後の展望(21:08) Databento(24:02) なぜRustではなくC++を採用したか(40:27) Ending

他社の障害報告を読んで勝手に胃を痛くするシリーズです。今回は2025年11月18日に発生したCloudflareの障害分析を読みながら胃をキリキリさせています。後半では新興のserverless datastoreサービスであるs2を紹介しています。
Cloudflare outage on November 18, 2025
Antirezの反応  https://x.com/antirez/status/1991082931415126492
S2, the durable stream API - S2.dev
https://github.com/s2-streamstore/s2
Chapters:(00:00) Opening(03:01) Cloudflare outage on November 18, 2025(12:30) 権限設定がインターネットを壊す(16:41) X上の反応(22:53) S2, durable stream API

データベースアクセスの並列度を上げてスループットを向上させるためにロックフリーデータ構造を導入しているというMongoDBの解説ブログをネタに雑談しました。後半ではGoogleクラウドのブログ記事をネタにAIを使ったArmアーキテクチャへの移行の取り組みについて話しています。
To Lock or Not: MongoDB’s Lock-Free B-Tree Unlocks Throughput
Hazard pointer - Wikipedia
スキップリスト - Wikipedia
ConcurrentSkipListMap (Java SE 25 & JDK 25)
At Google, the future is multiarch; AI and automation are helping us get there 
Chapters:(00:00) Opening(03:01) MongoDB’s Lock-Free B-Tree Unlocks Throughput(08:38) ハザードポインター(14:48) スキップリスト(22:50) At Google, the future is multiarch: AI and automation are helping us get there

まったり息抜き回です。iPhone Airを買った話や最近読んだ本、漫画、最近見ているアニメの話などをだらっとしています。
iPhone Air - Apple（日本）
Latency
ONE PIECE 113／尾田 栄一郎 | 集英社 ― SHUEISHA ―
カグラバチ
ＣＯＳＭＯＳ | 書籍 | 小学館
TVアニメ『僕のヒーローアカデミア』
Chapters:(00:00) Opening(02:39) iPhone Airを買った(15:21) 新刊「Latency」について(23:02) 最近読んだ漫画(30:51) 僕のヒーローアカデミア

Fil-Cというメモリ安全なバイナリを出力できる新しいC/C++処理系について雑談しました。後半はAIがシステム系の研究に与えるインパクトについて書かれた論文を紹介しつつAI活用のよもやま話をしています。
Fil-C
https://x.com/hashbreaker/status/1980699316089188649
InvisiCaps By Example
[2510.06189] Barbarians at the Gate: How AI is Upending Systems Research
Is Systems Research Really Just About Making Numbers Bigger? - Marc's Blog 
Murat and Aleksey Read Papers: “Barbarians at the Gate: How AI is Upending Systems Research” 
GitHub - codelion/openevolve: Open-source implementation of AlphaEvolve
Chapters:(00:00) Opening 芸術の秋(04:39) Fil-C(19:44) How AI is Upending Systems Research(28:42) OpenEvolve

先日(2025年10月19日)に発生したAWSの障害について、公式からのサマリの記事を見ながら勝手に胃を痛める回です。
Summary of the Amazon DynamoDB Service Disruption in Northern Virginia (US-EAST-1) Region
Amazon DynamoDB Global Tables
Jeff Dean on X: "I was very pleased to learn on Monday that The Tail at Scale paper (https://t.co/59qOUnEJBD) thatl my dear colleague @labarroso and I wrote in 2013 was selected for the SIGOPS Hall of Fame award
The Tail at Scale
Chapters:(00:00) Opening(01:42) Summary of the Amazon DynamoDB Service Disruption in US-EAST-1 Region(14:55) EC2サービスへの影響(20:00) NLBサービスへの影響(22:19) 再発防止策(26:56) 形式検証の限界?(32:41) The tail at Scale 殿堂入り

The Software Internalsというdiscordで紹介されていたLogless RaftというRaftのvariantを提案する記事を読みつつ、ディスクレスな合意アルゴリズムやmulti-Paxosについて雑談しました。
Logless Raft
Disk Paxos
EPaxos
Viewstamped Replication Revisited
[2405.11183] MultiPaxos Made Complete
Paxos Made Moderately Complex
Extended Raft algorithm with witness support · Issue #133 · etcd-io/raft
Chapters:(00:00) Opening(02:17) Logless Raft(15:05) Disklessな合意アルゴリズム(26:14) multi-Paxos(34:37) Witness