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

Chroma DBというAIワークロード用途のデータベースがObject Storageを使ったWrite-Ahead Logを実装したという話題を取り上げました。後半はMetaが提唱したOpenZLという圧縮フレームワークについて雑談しています。 wal3: A Write-Ahead Log for Chroma, Build on Object Storage setsum - crates.io: Rust Package Registry Introducing OpenZL: An Open Source Format-Aware Compression Framework - Engineering at Meta Zstandard - Real-time data compression algorithm Chapters:(00:00) 1周年でした(02:21) wal3: A Write-Ahead Log for Chroma, Build on Object Storage(12:06) setsum(26:22) OpenZL(35:29) Ending

久しぶりにプログラミング言語について話そうということで、IEEE Spectrumが出しているプログラミング言語ランキングを見ながら雑談しました。後半は最近リリースされたJava 25についてさらっと紹介しています。 The Top Programming Languages 2025 - IEEE Spectrum  Java 25新機能まとめ - Qiita Java 25 / JDK 25: General Availability Chapters:(00:00) Opening(01:27) The Top Programming Languages 2025(22:04) Java 25(36:33) Ending

DataDogのバックエンドを支えるtimeseries storageについて解説したブログ記事を肴に雑談しました。 Evolving our real-time timeseries storage again: Built in Rust for performance at scale | Datadog About RRDtool Computing accurate percentiles with DDSketch | Datadog GitHub - influxdata/influxdb: Scalable datastore for metrics, events, and real-time analytics  Gorilla: A Fast, Scalable, In-Memory Time Series Database Chapters:(00:00) 近況(02:53) DataDogのtimeseries storage(12:37) 第3世代 mmapを使う(14:36) 第4世代 GoでBtreeを作る(19:36) 第6世代 Rustで統一(27:05) 最近のTimeseries DB事情(28:52) 総括(32:25) Ending

Katoさんが書いた同タイトルのブログ記事について即興で説明してもらいつつMetaの裏側のシステムに思いを馳せています。 Meta における分散キャッシュの一貫性保証 Skybridge: Bounded Staleness for Distributed Caches | USENIX FlightTracker: Consistency across Read-Optimized Online Stores at Facebook | USENIX Chapters:(00:00) Opening(04:13) Metaにおける分散キャッシュの一貫性保証(10:18) 一貫性レベルの変遷(14:30) Bounded Staleness(25:39) Metaのバックエンドについての妄想(35:22) Ending

VLDB2025からLAW theorem論文について雑に語っています。 The LAW theorem: Local Reads and Linearizable Asynchronous Replication L2AW theorem Hermes TiDBのLease Readの解説ブログ https://www.pingcap.com/blog/lease-read/ YugabyteDBのLow Latency Readsの解説ブログ https://www.yugabyte.com/blog/low-latency-reads-in-geo-distributed-sql-with-raft-leader-leases/ Chapters:(00:00) Opening(02:51) The L2AW theorem概要(14:13) Replicatoin Protocolの分類(23:17) 定理の証明(33:40) Almost Local Reads

いつにもましてまったりな雑談回です。KatoさんがついにNASを買った話と、スマートホームの話をしました。 Katoさんが買ったNAS UGREEN NASync DXP4800 Plus LinkJapanHEMSハブHEMS機器をアプリに簡単接続 SwitchBot Nature Remo Chapters:(00:00) Opening(01:43) NASを買いました(05:45) dockerが動くNAS(08:48) cloudサービス化するNAS(15:19) ホームアシスタント(18:15) 太陽光発電とスマートホーム(25:59) Ending

TiDBのMonitoringに使われているPrometheusをVictoriaMetricsに置き換えてOutOfMemoryを解決した話やAWSが100KノードのKubernetesクラスタを達成した件について雑談しました。Kubernetes v1.34で導入されるYAMLのサブセットであるKYAMLについても話題にしています。 TiDB Observability: Moving from Prometheus to VictoriaMetrics  Under the hood: Amazon EKS ultra scale clusters 関連するGCPの記事 Google Kubernetes Engine supports 65,000-node clusters GCPについて雑談している過去回 https://www.ichizerofm.tech/e/10-s3-supports-append-and-conditional-writes-redis-has-adopted-fast_float-gke-supports-65k-node-clusters/ Kubernetes v1.34 Sneak Peek Chapters:(00:00) Opening(03:17) TiDB Observability: Moving from Prometheus to VictoriaMetrics(12:29) Under the hood: Amazon EKS ultra scale clusters(21:41) Kubernetes v1.34 Sneak Peek

KubernetesのControllerの安全性を検証するAnvilというframeworkについて話しました。後半はAsterinasというRustで書かれたLinux ABI互換のOSを紹介しています。 Anvil: Verifying Liveness of Cluster Management Controllers https://github.com/anvil-verifier/anvil Verus Asterinas Chapters:(00:00) Opening(04:28) Anvil: Verifying Liveness of Cluster Management Controllers(24:36) Asterinas: A New OS written in Rust(34:35) Ending

TiDB (TiKV) のtail latency改善の手法やKotlin 2.2.0でプレビューとして使えるようになったcontext parameters、Terabyte-Scaleの分析を瞬く間に完了させる技術について雑談しました。 TiKV Write Latency Solved: Unlock Smoother, Faster Performance What's new in Kotlin 2 .2.0 Understanding Context Parameters in Kotlin 2.2.0 – Carrion.dev https://x.com/helloyuki_/status/1938959361818480804 [2506.09226] Terabyte-Scale Analytics in the Blink of an Eye - arXiv Chapters:(00:00) Opening(03:17) TiKV Write Latency Solved: Unlock Smoother, Faster Performance(15:34) Context Parameters in Kotlin 2.2.0(25:28) Terabyte-Scale Analytics in the Blink of an Eye

Goの新しいガーベージコレクタの提案であるgreen tea gcとKubernetes 2.0が出るとしたらどうなる？というネタで雑談しました。 runtime: green tea garbage collector · Issue #73581 · golang/go What Would a Kubernetes 2.0 Look Like - matduggan.com  Kubernetes 2.0 - bash edition · Issue #3933 (エイプリルフール) Build the highest resilience apps with multi-Region strong consistency in Amazon DynamoDB global tables AWS re:Invent 2024 - Multi-Region strong consistency with Amazon DynamoDB global tables (DAT425-NEW) Chapters: (00:00) Opening 部屋構築(08:02) green tea garbage collector(13:31) What Would a Kubernetes 2.0 Look Like?(29:07) Multi-Region strong consistency in Amazon DynamoDB