イチゼロエフエム

同タイトルの、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

ホスト二人がこれまでに書いてきたソフトウェアについてとりとめなく雑談しました。
JavaScript: The Definitive Guide, Fourth Edition
高速文字列解析の世界
簡潔データ構造
Apache Ratis
Chapters:
(00:00) Opening デブサミ
(02:53) 本日のトークテーマ
(04:23) tokyocabinet-haskell
(08:47) html-template-pro ruby
(10:47) 2011年頃のJavaScript
(13:15) Exif.js
(19:41) JavaScriptでゲーム開発
(23:12) C言語でゲーム開発
(26:05) fm-index
(32:00) データベースとRaftフレームワーク
(40:06) 好きなプログラミング言語

PDF Viewerの中でLinuxを動かすlinuxpdf、Serverlessとデータベーストランザクションを組み合わせるDBOS、そして今後10年のState Machine Replication実装を支えると言われているVirtual Consensusについて雑談しました。
JSLinux
linux.pdf
Transactions and Serverless are Made for Each Other
DBOS 
An Introduction to Virtual Consensus in Delos — Jack Vanlightly
元論文 Virtual Consensus in Delos | USENIX
Raft論文 In Search of an Understandable Consensus Algorithm (Extended Version)
Chapters:
(00:00) Opening 家づくりについて
(04:56) linuxpdf
(11:21) Transactions and Serverless are made for Each Other
(18:19) An Introduction to Virtual Consensus in Delos