イチゼロエフエム

最新の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

Data-race-free OCaml
Vのセルフコンパイルは超速
glojure: Clojure interpreter hosted on Go, with extensible interop support.
書籍紹介
大規模データセットのためのアルゴリズムとデータ構造 | マイナビブックス
原著 Algorithms and Data Structures for Massive Datasets
Effective Rust ―Rustコードを改善し、エコシステムを最大限に活用するための35項目
原著 Effective Rust
その他のEffectiveシリーズ
Effective Java 第3版
Effective C++ 第3版
新訂版 More Effective C++
Effective Modern C++
Effective Perl 第2版
Effective TypeScript
Effective Python 第2版
Effective Ruby
Effective Go
Chapters:
(00:00) Opening(01:25) Data-race-free OCamlとOCamlの思い出(08:32) プログラミング言語とビルド速度(15:58) GlojureとLISPと私(25:13) 書籍「大規模データセットのためのアルゴリズムとデータ構造」について(32:54) Effectiveシリーズの魅了(37:27) Ending

Amazon Aurora DSQL
Overview Distributed SQL Databases - Amazon Aurora DSQL
AWS Database blog Introducing Amazon Aurora DSQL
中の人のブログ DSQL Vignette: Aurora DSQL, and A Personal Story - Marc's Blog
RSMのアルゴリズムはRaftでもPaxosでもない https://x.com/MarcJBrooker/status/1864117104271827003
DSQLはPostgreSQL互換の部分以外はRustで実装されている https://x.com/MarcJBrooker/status/1864035619665801643
TiDBのEdさんによる所感 https://x.com/dxhuang/status/1864151030151434481
AWS re:Invent 2024 - Monday Night Live with Peter DeSantis
Graviton4
Nitro Security Chip
Chapters:
(00:00) Opening(01:20) Amazon Aurora DSQL(17:24) DSQLの裏側予想(26:00) Graviton4(28:24) AWS Nitro Security Chip(33:37) Bargeプロジェクト

Amazon S3の新機能
Amazon S3 Express One Zone now supports the ability to append data to an object - AWS
Amazon S3 adds new functionality for conditional writes
“Jeff Bezos wanted malloc for the Internet”
Amazon S3 Path Deprecation Plan – The Rest of the Story | AWS News Blog
Redisがfast_floatを使って性能改善
fast_float作者によるpost https://x.com/lemire/status/1861403353009279033
redisのpatch https://github.com/redis/redis/pull/11884#issuecomment-2351125819
valkeyのpatch https://github.com/valkey-io/valkey/pull/1260
fast_floatの元論文 https://arxiv.org/abs/2101.11408
Google Kubernetes Engine supports 65,000-node clusters
Chapters:
(00:00) Opening(01:16) S3 now supports the ability to append data to an object(11:42) S3 adds new functionality for conditional writes(16:40) Redis has adopted fast_float(22:09) Google Kubernetes Engine supports 65,000-node clusters(31:55) Ending

プログラムを安全にするためのいくつかの手法について雑談しました。
Rust Foundation Releases Problem Statement on C++/Rust Interoperability
C++/Rust Interoperability Problem Statement
Retrofitting spatial safety to hundreds of millions of lines of C++
Secure by Design: Google's Perspective on Memory Safety
Memory Tagging Extension Armv8.5-A Memory Tagging Extension
Chapters:
(00:00) Opening(01:21) Problem Statement on C++/Rust Interoperability(08:02) Retrofitting spatial safety to hundreds of millions of lines of C++(15:36) Secure by Design: Google's Perspective on Memory Safety(20:38) Memory Tagging Extension(28:37) Ending