イチゼロエフエム

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