イチゼロエフエム

Codexで作ったLatency Simulatorというツールの紹介をしました。Webブラウザから誰でも使えるので是非使ってみてください。 https://latency-simulator.koki-kato1994.workers.dev/ Marc Brooker氏が最近公開した類似のツール Stability Sim Chapters: (00:00) Opening (01:17) Latency Simulatorの紹介 (15:34) バイブコーディング (22:32) Marc BrookerさんのStability Sim (29:27) Ending

S3 Files の開発にまつわる逸話が紹介されているAll Things Distributedの記事を眺めながら、年末に会議室に閉じ込められたエンジニアたちの情熱に思いを馳せました。 n月刊ラムダノート Vol.5, No.2(2025) 関数型まつり2026 S3 Files and the changing face of S3 | All Things Distributed S3 Files の提供開始 – S3 バケットがファイルシステムとしてアクセス可能に | Amazon Web Services 表形式データの大規模ストレージ – Amazon S3 Tables Chapters: (00:00) Opening - n月刊ラムダノートとScala祭り (08:28) S3 Files 概要 (13:43) S3 Files 開発の動機 (19:31) ブレイクスルーまでの道のり (28:25) Amazonの会議室 (35:58) OSとデータベース

Haskell界のレジェンドSimon Peyton Jones先生が作っているかもしれないメタバース向けの新言語Verseについて雑談しました。既存のメジャー言語にはない特徴的な機能を眺めながらわいわいしています。 UE6で採用予定のプログラミング言語「Verse」、最新の仕様書が公開中。Live Variablesや後方互換性など新仕様が明らかに｜ゲームメーカーズ Book of Verse Koka Kokaについてしゃべっている過去回 https://www.ichizerofm.tech/e/2-java23-safe-c-carbon-gleam-koka/ Chapters: (00:00) Opening - 花見 (02:38) Haskell界のレジェンドとVerse (05:45) Verse言語3つの基本原則 (12:52) Effects (20:21) Live Variables (22:45) 後方互換性の保証 (28:04) Ending

CPUのバグに起因する乱数の偏りの話から、我々はシステムの何を信用すればいいのか迷宮に迷い込んでいく雑談です。後半はMicrosoft Researchが発表したGarnetと呼ばれる次世代キャッシュストレージについて見ていきました。 RocksDB development finds a CPU bug Garnet: A Next-Generation Cache-Store for Accelerating Applications and Services  ETags, When and How Chapters: (00:00) Opening - トランペットを買った (08:15) RocksDB development finds a CPU bug (21:01) Garnet: A Next-Generation Cache-Storage for Accelerating Applications and Services

今回はPostgreSQL回です。前半はJust Use Postgresというタイトルの記事を見つつその主張の意図に思いをめぐらせています。後半はPostgreSQLの自動ANALYZE機能が原因で障害になってしまったというポストモーテムを見ながら、この手の問題にどのように対処していくべきなのか雑談しています。 Database Engineering Meetup #9: NewSQL - connpass It's 2026, Just Use Postgres | Tiger Data Postmortem: Clerk System Outage (February 19, 2026) Production query plans without production data | boringSQL Chapters: (00:00) Opening - Database Engineering Meetupに行ってきた (07:26) It’s 2026, Just Use Postgres (19:46) Postmortem: Clerk System Outage (February 19, 2026) (28:40) OLTPをSQLで書くのどうなの (35:53) Production query plans without production data

Google Workspace CLIのAuthorが書いた、ToolをAI Agentにうまく使ってもらうためのTipsなどを読みながら雑談しました。後半はDonald Knuth先生の”Shock! Shock!”という衝撃的な導入ではじまる論文の話や、名著データ指向アプリケーションデザインの著者が登場したPodcastエピソードの話などをしています。 You Need to Rewrite Your CLI for AI Agents - Justin Poehnelt https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf コンピュータ科学の神様が「AIに負けた」日 — Donald Knuth『Claude's Cycles』を読み解く - Qiita https://x.com/BoWang87/status/2028935492977475623 Re-Designing Data-Intensive Applications: The Shift to Cloud-Native Storage Designing Data-Intensive Applications, 2nd Edition Chapters: (00:00) Opening - Dream Theaterのライブに行ってきた (05:43) You Need to Rewrite Your CLI for AI Agents (19:05) Knuth先生とAI (31:13) Designing Data-Intensive Application 2nd Edition

Googleで開発された時刻同期システムFireflyについての記事を読みながら雑談しました。後半はGrafana 12.4のリリースブログを見つつ取り留めのない話をしています。 Understanding the Firefly clock synchronization protocol | Google Cloud Blog  How Precision Time Protocol is being deployed at Meta Grafana 12.4 release: faster and easier data visualization, observability as code updates, and more Chapters: (00:00) Opening (04:44) Understanding the Firefly clock synchronization protocol (12:11) Fireflyプロトコル (25:29) Grafana 12.4 release

TigerBeetle社のソフトウェア開発方法論をまとめたTigerStyleという文書を読みながら雑談しました。 TigerStyle The Power of Ten – Rules for Developing Safety Critical Code1 Gerard J. Holzmann Chapters: (00:00) Opening (02:11) TigerStyle (06:28) TigerStyle’s 3 Values (07:23) Safety (09:28) Explicit Limits (12:00) Static Memory Allocation (15:43) Assertions (17:44) Logical Interfaces (19:40) Dimensionality (21:06) Zero Dependencies (23:40) Zero Technical Debt (25:16) Performance (30:43) Experience (35:34) Computer Programming is an art

CedarDBが最近取り入れたFSSTと呼ばれる高効率な文字列圧縮の手法について雑談しました。後半はYugabyteDBのパフォーマンスチームのAI活用事例を紹介しつつ羨望の眼差しを送っています。 CedarDB Efficient String Compression for Modern Database Systems - CedarDB  How the YugabyteDB Performance Team Harnesses the Power of AI | Yugabyte Chapters: (00:00) こばさんありがとうございます (02:14) CederDB (05:16) Dictionary Compression (09:32) Fast Static Symbol Table (23:44) How the YugabyteDB Performance Team Harnesses the Power of AI (32:39) パフォーマンスの質問に答えてくれるChatBot

まったり近況をしゃべる回です。昨年末に出版されたNewSQL徹底入門という本を読んでいる話や、趣味プログラミングでECHONET Liteを使って電力使用量を可視化しようとしている話をしました。 『ＮｅｗＳＱＬ徹底入門 分散ＤＢのアーキテクチャからユースケースまで』（ミック,小林 隆浩）｜講談社 詳説 データベース - O'Reilly Japan Latency - Pekka Enberg TiDB実践入門 | 技術評論社 わかばちゃんとつくって、壊して、直して学ぶ NewSQL入門 | 翔泳社 エコーネットコンソーシアム スマホHEMS「Nature Remo E（ネイチャーリモイー）」 Chapters: (00:00) Opening (02:25) NewSQL徹底入門を読んでます (07:13) Latencyを読んでます (10:30) Database Internalsを読んでました (13:50) NewSQL本ブーム？ (17:33) ECHONET Liteを使った趣味プログラミング (28:48) 読書デバイス

CockroachDBのストレージエンジンPebbleに取り入れられたLSM Treeのパフォーマンス改善の手法について雑談しました。後半はRedisの進化の歴史ついての振り返り記事を読みながら最新Redisの知られざる機能について感嘆しました。 TVアニメ「ダンジョン飯」×リーガルリリー「キラキラの灰」スペシャルコラボムービー (Feat. マルシル&ファリン) 羊文学 - more than words (Official Music Video) [TVアニメ『呪術廻戦』「渋谷事変」エンディングテーマ] Value Separation in Pebble: Storage Engine Optimization WiscKey: Separating Keys from Values in SSD-conscious Storage Introducing Apache HBase Medium Object Storage (MOB) compaction partition policies The Evolution of Redis: From Cache to AI-Database (V1.0 to 8.4)  The UNIX Pipe Card Game - punkx.org  Chapters: (00:00) Opening (06:13) Value Separation in Pebble: Storage Engine Optimization (09:11) LSM Treeの雑な説明 (12:29) Value Separation (22:04) The Evolution of Redis: From Cache to AI-Database (34:55) The UNIX Pipe Card Game

RaftにLeader Leaseを導入するLeaseGuardという手法について書かれた論文や解説ブログを読みながら雑談しました。後半はAndy Pavlo先生による2025年のデータベース業界の振り返り記事を眺めつつグダグダトークを繰り広げました。 LeaseGuard: Raft Leases Done Right! https://arxiv.org/pdf/2512.15659  Question about LeaseRead · Issue #166 · etcd-io/raft  TLA+ modeling tips  Databases in 2025: A Year in Review // Blog // Andy Pavlo - Carnegie Mellon University Chapters: (00:00) Opening (03:26) LeaseGuard: Raft Leases Done Right! (04:22) 著者紹介 (06:01) LeaseGuardとはなにか (23:41) TLA+の学び方 (26:20) Databases in 2025: A Year in Review (38:54) データベースと億万長者

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

2023年のP99 Confのセッションから、Netflixで行われているオンラインマイグレーションの仕組みについてざっくりと雑談しました。後半はHotOSというACMのworkshopで議論されたシェルスクリプトの静的解析ネタを話題にしています。 Announcing Rust 1.88.0 Zero Downtime Critical Traffic Migration @Netflix Scale - P99 CONF From Ahead-of- to Just-in-Time and Back Again:  Static Analysis for Unix Shell Programs HotOS 2025 Systems Fun at HotOS - Marc's Blog Chapters: (00:00) Opening 引越し完了報告 (01:26) Rust 1.88.0 Let Chains (07:58) Zero Downtime Critical Traffic Migration @Netflix Scale (19:04) Static Analysis for Unix Shell Programs (32:40) だらだらエンディングトーク

27ノードのElasticsearchをVictoriaLogs 1ノードでリプレイスした話や、Netflixが分散キャッシュをsecureにするためにどういった取り組みをしているのかといった話題を中心に雑談しました。 Seriously impressed with Victoria Logs - Aus.Social VictoriaLogs SREcon25 Americas - Securing Distributed Cache Achieving Secure-by-Default with Key Challenges OxCaml DuckDBのイースターエッグ  https://x.com/duckdb/status/1933138075179192354 Chapters: (00:00) Opening 引越し準備 (02:51) VictoriaLogs (15:31) Securing Distributed Cache / Netflix (27:57) OxCaml (31:21) DuckDBのイースターエッグ (33:55) Ending

AppleがWWDCで発表したcontainer、PostgreSQL18 BETAのasync I/O、Goのエラーハンドリングの文法に関する続報などについて雑談しました。後半はマイホームを建てたkatoさんとのNAS導入検討談義です。 GitHub - apple/container: A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It's written in Swift, and optimized for Apple silicon. PostgreSQL 18 Beta 1 Released! 次期PostgreSQL 18では非同期I/Oの採用により性能が2～3倍向上する見通し [ On | No ] syntactic support for error handling - The Go Programming Language Chapters: (00:00) Opening マイホームを建てた (02:57) apple/container (08:30) PostgreSQL 18 introduces an asynchronous I/O subsystem (12:33) 続 Goのエラーハンドリング (17:29) NASを導入したい

久しぶりの通常回です。AppleのパスワードモニタリングサービスとAWSのAurora DSQLの開発における言語の変遷などを肴に雑談しています。後半では、HTAPは死んだという主張するブログ記事をとりあげ、わかりみを展開しています。 Swift at Apple: migrating the Password Monitoring service from Java Just make it scale: An Aurora DSQL story | All Things Distributed Mooncake Blog: HTAP is Dead 過去ServerSideSwift Conferenceについて取り上げた回 イチゼロエフエム 4: Declarative Gradle, swift-java, Python 3.13, 気になる技術書 Chapters: (00:00) Opening (01:26) Swift at Apple: migrating the Password Monitoring service from Java (13:23) Just make it scale: An Aurora DSQL story (26:10) HTAP is Dead

先週に引き続きゲストにOkadaさんをお迎えしてApache Kafka 4.0について雑談しました。今回はConsumer Rebalance Protocolや、Early AccessとなったQueues for Kafka、Raftをより安定化させるためのPre-Voteの仕組みについて話しています。 Apache Kafka 4.0.0 Release Announcement Release Notes - Kafka - Version 4.0.0 KIP-848: The Next Generation of the Consumer Rebalance Protocol KIP-932: Queues for Kafka KIP-996: Pre-Vote Chapters: (00:00) Opening (01:25) KIP-848: The Next Generation of the Consumer Rebalance Protocol (17:42) KIP-932: Queues for Kafka (30:06) KIP-996: Pre-Vote (38:35) Kafka Streams & Kafka Connect (43:59) The Future of Kafka (47:51) OSS Governance (49:28) Ending

ゲストにOkadaさんをお迎えしてApache Kafka 4.0.0のリリースノートを見ながら雑談しました。KRaftの実装や4.0でPreviewとなったEligible Leader ReplicasについてKafkaのデータレプリケーションの構造などから詳しく解説していただいています。 Apache Kafka 4.0.0 Release Announcement Release Notes - Kafka - Version 4.0.0 KRaft - Apache Kafka Without ZooKeeper KIP-966: Eligible Leader Replicas Chapters: (00:00) Opening - ゲスト登場 (03:44) Kafkaってなんだっけ (08:24) ZookeeperレスKafkaを実現するKRaft (29:44) Eligible Leader Replicas (48:22) 次回へ続く

Metaが作っている新しいPythonの型チェッカーPyreflyの話やまだあまりメジャーでないPythonの機能について雑談しました。後半はPostgreSQLのSnapshot Isolationへの違反とみなされる微妙な振る舞いについてしゃべっています。 Pyrefly: A Static Type Checker for Python | Pyrefly GitHub - astral-sh/ruff: An extremely fast Python linter and code formatter, written in Rust. GitHub - astral-sh/ty: An extremely fast Python type checker and language server, written in Rust. 14 Advanced Python Features | Edward Li's Blog PEP 3124 – Overloading, Generic Functions, Interfaces, and Adaptation | peps.python.org PyPI statistics Understanding transaction visibility in PostgreSQL clusters with read replicas Chapters: (00:00) Opening - ゴールデンウィーク終了のお知らせ (01:27) Pyrefly (09:34) 14 Advanced Python Features (16:39) Protocols (23:39) Understanding transaction visibility in PostgreSQL clusters with read replicas

連休ということでまったり小ネタ雑談回です。Raftアルゴリズムの名前の由来について、作者が2014年ごろに投稿したメールを読みつつなるほどねぇとなっています。後半はエディタについてとりとめのない話をしました。 Raft の名前の由来 https://groups.google.com/g/raft-dev/c/95rZqptGpmU 約1000行のCコードで作るテキストエディタ https://viewsourcecode.org/snaptoken/kilo/ イチゼロエフエム過去回  8: Zed, Haystack, エディタの進化について Chapters: (00:00) Opening (02:11) Raftの名前の由来 (11:40) 1000行のCコードで作るテキストエディタ (23:01) エディタとAI

AWSがDafnyという言語を用いてIAMの仕様検証と実装の置き換えを行った件について、解説論文をネタに雑談しています。後半は次期Pythonで実装されると思われるt-stringという新しいリテラル表記について話しました。 Formally verified cloud-scale authorization - Amazon Science AWS re:Inforce 2024 - Proving the correctness of AWS authorization (IAM401) 以前紹介した記事 An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain | AWS Security Blog  PEP 750 – Template Strings Chapters: (00:00) Opening (03:28) Formally verified cloud-scale authorization 論文の概要 (12:28) Dafny言語 (19:10) shadowテスト (25:15) PEP 750 Template String

CephがPOSIX File Systemを使うのをやめBlueStoreという独自のbackendを作って最適化を行った話からAI時代の生存戦略の悩みを吐露したりしました。 File systems unfit as distributed storage backends: lessons from 10 years of Ceph evolution Cephの論文を紹介したポスト https://x.com/petereliaskraft/status/1906420979896893823 database.news GraalVM Updated For Java 24, Adds Graal Neural Network Profiler For Better Performance - Phoronix GraalNN: Context-Sensitive Static Profiling with Graph Neural Networks | Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization Announcing Oracle GraalVM for JDK 24 Chapters: (00:00) Opening - AIサービス使ってる？ (08:22) Lessons from 10 Years of Ceph Evolution (17:53) database.news (20:42) Graal Neural Network Profiler For Better Performance

同タイトルの、SIGMODに掲載される予定の論文を肴に雑談しました。HTAPやUserspace Interruptsについてふわっとしゃべっています。 Low-Latency Transaction Scheduling via Userspace Interrupts TiDBのHTAP IIJエンジニアリング、白井データセンターキャンパスでナノ秒単位の時刻同期精度を持つPTP時刻同期サービスを提供開始 Chapters: (00:00) Opening - 花粉 (01:55) Low-Latency Transaction Scheduling via Userspace Interrupts (05:50) Userspace Interruptsとは (10:02) 協調threadとPreemptionの課題 (18:43) Userspace Interruptsの可能性 (21:58) TiDBのHTAP (26:38) PTPの導入事例 (29:36) Ending

今回はHacker Newsで話題になった汎用プログラミング言語Rhombusについて雑談しています。後半は次期UbuntuでRust製coreutilsへの置き換えが実現するかもという話題を取り上げつつ、既存のC/C++で書かれたSoftwareの未来に思いを馳せています。 東京さくらトラム（都電荒川線） Rhombus Rhombus Goals Ubuntu 25.10 plans to swap GNU coreutils for Rust • The Register Carefully But Purposefully Oxidising Ubuntu - Project Discussion Coreutils - GNU core utilities uutils Limbo v0.0.18 GitHub - hyperium/hyper: An HTTP library for Rust Chapters: (00:00) Opening - 東京さくらトラム (04:51) Rhombus (15:06) Ubuntu 25.10 plans to swap GNU coreutils for Rust (21:19) Databaseの実装言語の未来 (27:27) 次回予告

Yoshidaさんをゲストに迎え先日リリースされたばかりのJava24について雑談しています。 Java 24新機能まとめ - Qiita JEP 404: Generational Shenandoah (Experimental) JEP 490: ZGC: Remove the Non-Generational Mode JEP 485: Stream Gatherers JEP 484: Class-File API ZGCのコード https://github.com/openjdk/jdk/tree/master/src/hotspot/share/gc/z Chapters: (00:00) ゲスト紹介 (04:01) Java24について (05:37) Generational Shenandoah (16:26) ZGC: Remove the Non-Generational Mode (20:57) JVM GCの未来 (23:56) Stream Gatherers (37:50) Quantum-Resistant Algorithms (39:48) Class-File API (43:48) Ending 次回の約束

さまざまなデータレプリケーションの手法がある中でとりわけRaftに優位性があるわけではなく、アプリケーションの要求に応じてより最適な選択をしていきましょうというような雑談をしました。後半はDeepSeekが開発した3FSについて触れ、CRAQをふわっと解説しようと試みていますがちょっとふわっとしすぎました。 Enough With All The Raft Data Replication Design Spectrum GitHub - deepseek-ai/3FS: A high-performance distributed file system designed to address the challenges of AI training and inference workloads. P Specification https://x.com/ankushpd/status/1895358344036262274 Chapters: (00:00) Opening (01:39) Enough With All The Raft (17:46) deepseek-ai/3FS (32:38) Ending

MicrosoftがTypeScriptのcompilerとその周辺ツールをGoにポートして10倍の処理速度を実現した件について雑談しました。 A 10x Faster TypeScript Why Go? · microsoft typescript-go · Discussion #411 · GitHub YouTube A 10x faster TypeScript Zig 0.14.0 https://ziglang.org/download/0.14.0/release-notes.html Chapters: (00:00) Opening (01:53) A 10x Faster TypeScript (21:24) C#じゃなくてGoなのはなぜだろう (23:37) Zig 0.14.0のインクリメンタルコンパイル (25:06) WebAssembly対応 (29:25) 大量のポーティング作業をやったのは誰だ

Javaで実装されたWasm Runtime Chicory、Gitの開発者たちが普段つかっているgit configの話、AIのプロンプトインジェクションを防ぐための取り組み、などについて雑談しました。 Hello from Chicory | Chicory How Core Git Developers Configure Git - GitButler Google Online Security Blog: How we estimate the risk from prompt injection attacks on AI systems Chapters: (00:00) Opening - 健康とAppleの新製品 (04:52) Chicory (11:51) How Core Git Developers Configure Git (28:56) How we estimate the risk from prompt injection attacks on AI systems

NTPより高精度な時刻同期を可能とするPTPについて、Metaのブログ記事を肴に雑談しています。後半少しだけRustの新しいEditionの話もしています。 How Precision Time Protocol is being deployed at Meta Spanner論文 (GPSや原子時計の話はChapter 3 TrueTime参照) It’s time to leave the leap second in the past - Engineering at Meta  Announcing Rust 1.85.0 and Rust 2024 | Rust Blog Chapters: (00:00) Opening - floating pointsのライブに行ってきた (04:58) How Precision Time Protocol is being deployed at Meta (25:34) Rust 1.85.0 and Rust 2024 (35:01) Ending

Go 1.24のRelease Notesを見ながらSwiss Tablesや、synctest packageなどについて雑談しました。後半は、とあるGithub上のdiscussionを取り上げGoのエラーハンドリングを簡潔に記述するための新しい文法についても話しています。 Go 1.24 Release Notes - The Go Programming Language abseil / Swiss Tables Design Notes testing/synctest weak - Go Packages go -tools フラグ discussion: spec: reduce error handling boilerplate using ? · golang go · Discussion #71460 · GitHub Swiss Tablesの説明のところでlookupのときに先にhash値の7bitの方を使うように喋っていますが、正しくは57bitのほうを先に使って探索開始位置を決め、そこからSSE命令をつかって高速に探索するようです。 Chapters: (00:00) Opening - 作文の季節 (02:58) Go 1.24 (04:09) Swiss Tables (20:19) synctest package (28:08) その他の気になった変更 (33:11) A discussion for Go’s new error handling syntax