ブログ

#2026-03 764#japanese 587#deep-dive 254#kubernetes 249#culture 236#career 224#ai 217#llm 209#devops 196#2026-04 144#security 141#observability 113#database 110#communication 107#architecture 100#productivity 88#finance 87#mindset 80#ai-papers 79#history 79#it 78#psychology 78#english 75#networking 74#deep-learning 73#gpu 70#linux 70#performance 70#cs-fundamentals 63#ai-agent 61#postgresql 60#rag 59#economy 57#mlops 53#self-improvement 53#python 52#ai-platform 51#food 51#learning 51#travel 51

• ZJITのLightweight Frames — Ruby 4.1でメソッドフレームプッシュを消す方法とその代償 ♪ 聞けます

  Ruby 4.0は2025年12月25日にZJITを搭載しましたが、有効にしないまま出荷しました — バイナリにコンパイルされているだけで、デフォルトのJITは依然としてYJITです。公式リリースノートの文言は「ZJITはインタプリタより速いが、まだYJITほど速くはない」であり、その直後の文が「Ruby 4.1のZJITにご期待ください」でした。その4.1を狙った作業の中心にあるのがLightweight Framesです — メソッ

  2026-07-16 · 34 分で読めます #ruby#zjit#yjit#jit#compiler

• シミュレーションされた顧客は絶対に離脱しない — LLMユーザーシミュレーターがエージェントのスコアを水増しする場所 ♪ 聞けます

  τ-bench系の対話型エージェントベンチマークでは、「ユーザー」役はもう一つのLLMが務めます。ところがこのシミュレーターは測定対象ではなく測定器具であり、器具は校正を受けなければなりません。2026年に出た3本の検証研究は同じ方向を指しています — シミュレーションされたユーザーは協調的すぎるのです。実在の人間451人でτ-benchプロトコルをそのまま回した研究は、シミュレーターが作る「イージーモード」がエージェントの成功率を人間

  2026-07-16 · 41 分で読めます #ai#llm#evaluation#agents#simulation

• SQLiteのWAL-resetバグ — 15年間隠れていたデータ破損の競合 ♪ 聞けます

  2026年3月3日、SQLite開発者のDanが、WALモードで稀にデータベースを破損させうるデータ競合を発見し修正しました。このバグはWALが導入された3.7.0(2010-07-21)から3.51.2(2026-01-09)までの全バージョンに存在し、3.51.3(2026-03-13)で修正されました。原因は、wal-indexヘッダーのnBackfillというフィールド一つを、二つの異なるロックが分担して守っていたことです —

  2026-07-16 · 35 分で読めます #sqlite#wal#database-internals#concurrency#data-race

• Triton Gluon — コンパイラが隠していたレイアウトを手で書く言語 ♪ 聞けます

  Gluonは、Tritonと同じコンパイラスタックの上に載る下位レベルGPU言語で、Tritonが隠していたレイアウト・共有メモリ・ワープ特殊化をカーネル作成者にそのまま渡します。存在理由は明快です — Tritonコンパイラがうまくコードを出せない場面に出会ったとき、今まで打つ手がなかったからです。本稿ではGluonが何を露出するか、BlockedLayoutが実際に何を意味するか、そして上流のチュートリアルがGB200で記録した測定

  2026-07-16 · 32 分で読めます #gpu#triton#kernel#compiler#performance

• Rust標準ライブラリ検証キャンペーンが見つけたメモリ安全性バグは0件だった ♪ 聞けます

  AWSとRust Foundationが主導したverify-rust-stdキャンペーンの結果論文が、2026年のNASA Formal Methods Symposiumに掲載されました。著者たちが「ソフトウェアライブラリを対象に報告された中で最大の検証キャンペーン」と呼ぶこの取り組みは、自動生成ハーネス16,748件を作り11,970件を通過させましたが、標準ライブラリにおいて未知のメモリ安全性の脆弱性は一つも見つかりませんでした

  2026-07-16 · 47 分で読めます #formal-methods#rust#verification#memory-safety#testing

• WASI 0.3のネイティブasync — wasi:ioが消えた理由と、まだ終わっていないこと ♪ 聞けます

  2026年6月11日、WASIサブグループがWASI 0.3.0を批准しました。核心はasyncがコンポーネントモデルのカノニカルABIへ下りたことで、その結果wasi:ioパッケージがまるごと消えました。これが重要な理由は性能ではなく合成可能性です — WASI 0.2ではコンポーネントごとに自前のイベントループを持っていたため、asyncを使った瞬間に他のコンポーネントと合成できなくなりました(サンドイッチ問題)。6月22日、Was

  2026-07-16 · 33 分で読めます #webassembly#wasm#wasi#component-model#systems

• Rust 1.97 が Volta 以前の GPU を切り捨てた — nvptx64 ベースライン引き上げの内幕

  Rust 1.97(2026年7月9日)は、nvptx64-nvidia-cuda ターゲットの最小要件を PTX ISA 7.0(CUDA 11 ドライバー以上)と SM 7.0(Volta 以上)に引き上げました。Maxwell・Pascal 世代の GPU と CUDA 10 以下のドライバーは、もはや対象外です。本稿では、実際に変わった数字、コンパイラチームが根拠として挙げた三つの具体的な欠陥(デバッグシンボル・アトミック順序・

  2026-07-16 · 21 分で読めます #rust#cuda#gpu#compiler#nvidia

• TypeScript 7 が GA になった — 8~12倍は本物だが、今日移行できない人たちがいる ♪ 聞けます

  2026年7月8日、TypeScript 7.0がGAになりました。Goで書き直されたネイティブポートはもはや別バイナリではなく、ただのtscです — npm install -D typescriptをすればそれが入ります。Microsoftが報告した全体のビルド速度向上は8~12倍で、VS Codeコードベース基準で125.7秒から10.6秒に落ちました。しかし見出しが隠す二つのコストがあります。第一に、TypeScript 6で廃

  2026-07-16 · 32 分で読めます #typescript#compiler#tooling#build-systems#compile-times

• RISC-V RVA23 プロファイル — ディストリはベースラインを上げたが、ハードウェアはまだ届いていない

  RVA23は2024年10月21日に批准されたRISC-Vアプリケーションプロセッサ向けプロファイルで、RVA22ではオプションだったベクトル拡張(V)とハイパーバイザ拡張(H)を初めて必須にしました。これが重要な理由はRISC-Vの慢性的な問題である断片化です — バイナリ配布が頼れる共通項がなければ、誰もベクトルコードを標準搭載できません。UbuntuはRVA23S64を25.10から最小ベースラインに引き上げ、26.04 LTSを

  2026-07-16 · 28 分で読めます #risc-v#rva23#ubuntu#toolchain#cpu-architecture

• Python 3.15のabi3t — free-threadedビルド向けstable ABIが解く問題と、その代償

  PEP 779でfree-threadedビルドは3.14で実験扱いを脱しましたが、デフォルトビルドとなるPhase IIIの手前には、インタプリタ性能以外にもう一つ課題がありました — 配布です。free-threadedビルドではstable ABI(abi3)が使えず、C拡張の作者はPythonバージョン×スレッディングモードごとにホイールを別々に用意する必要がありました。PEP 803はこの穴をabi3tというstable AB

  2026-07-16 · 22 分で読めます #python#free-threaded#cpython#concurrency#pep-703

• React Compiler が Rust に移植された — マージされたもの、まだのもの、そしてその「10倍」という数字 ♪ 聞けます

  2026年6月9日、React CompilerをRustに移植したPR 36173がfacebook/react mainにマージされました。461ファイル、12万行を超えるコードが入り、「Babelプラグインとして3倍、変換ロジック自体は約10倍速い」という数字がすぐに生態系を駆け巡り始めました。ところがPR本文で著者のJoseph Savona本人は、その数字について「性能数値はAIが出したもので、ベンチマーク設定の検証にはあまり

  2026-07-16 · 32 分で読めます #react#rust#compiler#performance#frontend

• sched_ext サブスケジューラ — カーネル7.1に半分だけ届いたcgroup別スケジューラ

  Linux 7.1(2026年6月14日)で、schedextにcgroupサブスケジューラのサポートが入りました。狙いは明確です — cgroupツリーのどこにでもBPFスケジューラを付け、親スケジューラが子にCPUを動的に配分することで、コンテナやアプリケーションドメインごとに自分のワークロードに合ったスケジューリングポリシーを走らせることです。動機はcpusetのハードパーティショニングが与えられない柔軟性であり、マルチテナントマ

  2026-07-16 · 22 分で読めます #linux#kernel#scheduler#cgroups#bpf

• ネイティブヒストグラムはstableになったのに、なぜまだオンにできないのか

  2022年11月にv2.40で実験機能として登場したPrometheusのネイティブヒストグラムは、2025年12月の3.8.0でstableになり、2026年7月1日にリリースされた3.13がこの機能をstable状態で含む最初のLTSです。既存の3.5 LTSは2026年7月31日にサポートが終了するため、LTSトラックに乗る組織にとって今がまさに決定の時点です。ただし「stable」という言葉が保証する範囲は思ったより狭く、依然と

  2026-07-16 · 30 分で読めます #prometheus#observability#native-histograms#metrics#monitoring

• 2026年10月11日、ルートKSKが変わる — 今ルートゾーンに実際に入っているもの ♪ 聞けます

  DNSSECの信頼アンカーであるルートKSKが、2026年10月11日にKSK-2017からKSK-2024へ切り替わります。ほとんどのリゾルバにとってこれはRFC 5011のおかげで何も起きない出来事ですが、トラストアンカーを更新できなかった検証リゾルバにとっては、その日すべての問い合わせがSERVFAILで死ぬ崖です。本稿はルートゾーンを直接問い合わせて今何が入っているかを確認するところから始め、8段階6年のロールオーバー日程、RF

  2026-07-16 · 47 分で読めます #network#dns#dnssec#security#protocol

• Protobuf Edition 2026 ― 締め付けられる3つのデフォルトと、protocが初めて強制するスキーマサイズ上限 ♪ 聞けます

  2026年7月13日、protobuf.devにEdition 2026の発表が掲載されましたが、そこから4日前の7月9日にはすでにv36.0-rc1が公開されていました。Edition 2026は新しい文法を一つも追加しない代わりに、3つのデフォルト値を締め付けます — 名前衝突の禁止(STYLE2026)、シンボル可視性STRICT、そしてprotocが史上初めてスキーマサイズの上限を強制するenforceprotolimits(メ

  2026-07-16 · 31 分で読めます #grpc#protobuf#api-design#serialization

• PQ証明書がまだ来ない理由 — ML-DSA署名サイズ、10kBの壁、そしてMerkle Tree Certificates ♪ 聞けます

  ポスト量子移行では、鍵交換(暗号化)はすでにかなり進んでいますが、証明書と署名の側はまだスタートラインです。理由は暗号理論ではなくサイズです — FIPS 204が定めるML-DSA-44署名は2,420バイトで、ECDSA P-256の64バイトよりはるかに大きく、今日のWebハンドシェイクは署名5個と公開鍵2個を運ぶため、そのまま置き換えると認証データだけで1万バイトを超えます。Cloudflareが2021年に実測したところでは、

  2026-07-16 · 38 分で読めます #security#post-quantum-cryptography#tls#webpki#certificates

• Redis 8.8 の Array 型 — ストリーム以来初めて増えたコア型、そして Valkey にはないもの

  2026年5月、Redis 8.8とValkey 9.1が6日違いでリリースされました。Redis 8.8にはantirez自身が作った新しいコアデータ構造Arrayが入りました — インデックス自体が意味を持つデータ(センサーの分単位スロット、予約システムの座席番号、ファイルの行番号)のための疎インデックスコンテナで、コマンド18個とスライス方式の疎エンコーディング、サーバーサイド集計や正規表現grepまで含みます。server.hの

  2026-07-16 · 26 分で読めます #redis#valkey#data-structures#performance#open-source

• OTelのKubernetes属性がstableになった — k8sattributesのデフォルトが反転する前にすべきこと

  OpenTelemetryのKubernetesセマンティック規約は、2026年6月12日のsemconv v1.42.0でstableに昇格しました。ところがCollectorのk8sattributesプロセッサはいまだデフォルトが旧スキーマ(v0)のままなので、大半の人には何も起きていません。問題はこれが恒久的ではないという点です — Collector RFCが定めたロールアウトどおりなら、フィーチャーゲートがbetaに上がった

  2026-07-16 · 22 分で読めます #opentelemetry#observability#kubernetes#semantic-conventions#telemetry-pipeline

• パスキーの可搬性は半分しか届いていない — CXFは標準になったが、CXPはいまだ2024年のワーキングドラフトのまま

  FIDOの資格情報交換仕様は2つに分かれています。何をやり取りするかを定義するCXFは2025年8月14日にProposed Standardとなり、2026年3月9日にはerrataも出ましたが、どうやり取りするかを定義するCXPはいまだ2024年10月3日のワーキングドラフトで止まっています。そのドラフトは自身について「いかなる実装の根拠とすることも意図していない」「いかなる公式な地位も持たない」と記しています。ところがCXFが運ぶ

  2026-07-16 · 30 分で読めます #security#passkeys#webauthn#fido#standards

• PySpark 4.2、Python UDFがデフォルトでArrowに乗る — 型強制変換225マスのうち132マスが変わる話

  2026年7月14日にリリースされたApache Spark 4.2.0は、SPARK-54555でspark.sql.execution.pythonUDF.arrow.enabledのデフォルト値をfalseからtrueに反転させました。ベンダーブログはこれを「コード書き換えなしでより速いカラム経路が使える」と紹介していますが、リリースのどこにもArrowとpickleの速度比較の数値は公開されていません。そして本当の論点は速度では

  2026-07-16 · 27 分で読めます #spark#python#arrow#data-engineering