イチゼロエフエム

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

最新のC言語標準の気になる部分について雑談しました。後半はAIによるOSSのメンテナンス、MicrosoftがオープンソースにしたDocumentDBについて話しています。
C23のnodiscard属性の説明のところで戻り値のチェックと言うべきところを引数のチェックと言っていたり、OpenAIをOpenAPIと言っていたりと言い間違いが多くなってますがご容赦ください。
C23の新機能 https://x.com/lemire/status/1873904057208783337
Rustのserde_yml crateに関する疑惑
https://x.com/davidtolnay/status/1883906113428676938
https://x.com/mycoliza/status/1883974721143980353 
https://github.com/sebastienrousseau/serde_yml/commit/8e6866f43a3f6b4de782b44c5c0d72a15994f63c#diff-26ffb3b6de289706a9f2a23cb16cc6dd060f91f526ede872308db770cf587a1b 
DocumentDB: Open-Source Announcement
FOSDEM 2025 - Distributed SQL Technologies: Raft, LSM Trees, Time, and More
Chapters:
(00:00) Opening - いちばんマニアックなCの予約語はなに？
(04:48) C23
(16:23) AI-”maintained” Rust libraries
(25:53) DocumentDB: Open-Source Announcement
(33:13) FOSDEM25の注目セッション

今回はホスト二人がそれぞれ最も影響を受けた本について雑談しています。
データ指向アプリケーションデザイン
入門Haskell ～はじめて学ぶ関数型言語
Real World Haskell
On Lisp
30日でできる！ OS自作入門
Java並行処理プログラミング ―その「基盤」と「最新API」を究める
増補改訂版Java言語で学ぶデザインパターン入門 マルチスレッド編
Go言語による並行処理
ゼロから作るDeep Learning
パターン認識と機械学習 上
パターン認識と機械学習 下
Rubyソースコード完全解説
Chapters
(00:00) Opening(00:43) 最近のOSS活動(05:13) 鶴原が最も影響を受けた技術書(18:36) 加藤が最も影響を受けた技術書(25:05) Lispの深淵の縁に立つ(29:07) 技術書古典探訪(34:36) 並行処理本(37:29) Ending 買えなかった技術書

前半はDBSPというデジタル信号処理にインスパイアされたプログラミング言語について。後半はGoogle SREが行っている、制御理論やシステム理論に基づいた手法による障害の分析や予測について話しました。
Software Developerが集まるDiscord https://eatonphil.com/discord.html
DBSP: Automatic Incremental View Maintenance for Rich Query Languages
プレゼンテーション https://www.youtube.com/watch?v=J4uqlG1mtbU
Github https://github.com/feldera/feldera 
https://www.feldera.com/ 
The Evolution of SRE at Google
Odersky先生によるCollection Literalsの提案 Pre-SIP: A Syntax for Collection Literals - Scala Improvement Process
(Chapters)
(00:00) Opening 週5日労働(02:12) DBSP: Automatic Incremental View Maintenance for Rich Query Languages(11:44) The Evolution of SRE at Google(26:56) A new Scala Syntax for Collection Literals(34:59) Ending

2025年一発目は年末年始にやったことや今年やってみたいことなどについてダラダラと雑談しました。
簡潔データ構造 - 共立出版
FM-index - Wikipedia
Introduction to Zig
Tidy First? - O'Reilly Japan
Zotero
技術書典
MoonBit compiler is available on GitHub
Chapters:
(00:00) Opening 新年のご挨拶(00:52) 年末年始にやるOSSメンテナンス(04:59) 簡潔データ構造(09:49) 冬休みの読書その1: Introduction to Zig(13:04) 冬休みの読書その2: Tidy First?(16:31) Zotero(19:49) 新年やってみたいこと(25:22) MoonBit言語(31:05) Ending 2025年のイチゼロエフエムについて

2024年最後のエピソードです。Meta社内で行われているJavaからKotlinへの移行、MySQLのforkについて、また、クリスマスにリリースされたRuby 3.4.0について雑談しました。
冬休み読書に最適かもしれないO’Reillyの新刊 O'Reilly Japan - Tidy First?
Translating Java to Kotlin at Scale - Engineering at Meta
Programming languages endorsed for server-side use at Meta
Meta's MySQL Fork You Never Knew About
MySQL Raftに関するMetaのエンジニアリングブログ Building and deploying MySQL Raft at Meta
DeNAが開発したNoSQL Plugin DeNA/HandlerSocket-Plugin-for-MySQL
Ruby 3.4.0 リリース
解説記事 プロと読み解くRuby 3.4 NEWS - STORES Product Blog
Chapters:
(00:00) Opening 年末年始の過ごし方(03:28) Translating Java to Kotlin at Scale(14:28) Meta's MySQL Fork You Never Knew About(29:13) Ruby 3.4.0(37:27) Ending 年末のご挨拶

12月11日に起きたOpenAIの障害、AWS・Amazonで活用されているAutomated reasoning、io_uringによるmemcachedのパフォーマンス改善、SQLiteのrewriteであるLimboなどについて話しました。
Run your GitHub Actions locally
API, ChatGPT & Sora Facing Issues Incident Report for OpenAI
An unexpected discovery: Automated reasoning often makes systems more efficient and easier to maintain | AWS Security Blog
Model checking distributed protocols in must - Amazon Science
The P programming language
io_uringによるmemcachedの改善
Async Rust is not safe with io_uring
In search of a faster SQLite
Chapters:
(00:00) Opening(02:51) OpenAIのIncident Report(11:36) AmazonによるAutomated Reasoningの活用(17:58) Model checking distributed protocols in must(24:52) io_uring Performance Measurements with memcached(33:03) Limbo - In search of a faster SQLite(40:07) Ending