イチゼロエフエム

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

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