イチゼロエフエム

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