ブログ

#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

• eBPF Verifierは止まった場所しか教えてくれない — 拒否235件を再現して測った診断ギャップ

  eBPFを触ったことがある人なら誰でも経験するあれです。Verifierがプログラムを拒否するのに、エラーメッセージは何の問題もなさそうな行を指している。2026年7月に出た論文が、このもどかしさを初めて数値化しました。著者らはStack Overflow、GitHubのIssue、修正コミット、カーネルのセルフテストから候補936件を集め、カーネル6.15.11 + clang 18という固定ツールチェーンで再現し、実際に拒否された2

  2026-07-16 · 34 分で読めます #ebpf#linux#kernel#debugging#developer-experience

• C++26契約(Contracts) — 114対12で可決された機能と、唯一の実装であるGCC 16.1 ♪ 聞けます

  2026年3月28日、WG21はC++26の技術作業を終えました。採決は全会一致ではなく(賛成114、反対12、棄権3)、非全会一致の主な理由は契約(contracts)でした。契約はpre・post・contractassertで事前条件と事後条件を言語レベルで書ける機能ですが、その検査が実際に実行されるかどうかはソースコードではなくビルド設定が決めます — 標準の文言そのままに「実装定義(implementation-defined

  2026-07-16 · 31 分で読めます #cpp#cpp26#contracts#wg21#gcc

• Elixir 1.20 の漸進型システム — アノテーションなしで「検証済みバグ」を見つけるということの実際 ♪ 聞けます

  2026年6月3日にリリースされたElixir v1.20は、2022年に始まった集合論的型システムの最初のマイルストーンを完了させました。これでElixirの全プログラムが、型アノテーションを一行も書かずに漸進的に型チェックされ、コンパイラがガード・関数本体・節の間で型を推論して「実行すれば必ずランタイムで落ちる」違反とデッドコードを見つけます。核心はdynamic()型で、他言語のany()が型情報を捨てるのとは違い、Elixirの

  2026-07-16 · 32 分で読めます #elixir#type-system#beam#compiler#static-analysis

• 決定論的シミュレーションテストが見つけたバグ — KAFKA-19880、そして「バグ0件」の読み方 ♪ 聞けます

  決定論的シミュレーションテスト(DST)は、クロック、スレッドのインターリーブ、乱数のように非決定性が入り込む出所をシミュレータの中に閉じ込め、再現できなかったheisenbugを一つのシードで呼び戻せるようにする技法です。2026年3月、AivenはKafkaのDiskless Topics実装をAntithesisにかけて約2,200論理時間動かし、結果はバグ0件でした。ところが実際のバグは対照群から出てきました — 検証のために動

  2026-07-16 · 32 分で読めます #testing#deterministic-simulation-testing#distributed-systems#kafka#antithesis

• DuckDB にクライアント・サーバープロトコルができた — Quack が変えるものと変えないもの ♪ 聞けます

  2026年5月12日、DuckDBチームがQuackを発表しました。HTTPの上に載せたクライアント・サーバープロトコルで、DuckDBインスタンス2つが互いにクライアントとサーバーになり、同じデータベースを複数プロセスから同時に読み書きできるようにします。7年間「インプロセス」をアイデンティティとして掲げてきたプロジェクトが自らサーバーを取り付けたわけで、何が変わったかより何が変わらなかったかのほうが重要です。本稿ではQuackの設計

  2026-07-16 · 31 分で読めます #database#duckdb#olap#analytics#data-engineering

• Swift 6.3 の公式 Android SDK — 何が出て、何が意図的に外れたか

  2026年3月24日にリリースされたSwift 6.3に、Swift SDK for Androidの初の公式リリースが含まれました。10年間のコミュニティフォークと非公式ツールチェーンを経て、いまやswift.orgが自らビルド・配布するクロスコンパイルSDKでAndroidバイナリを作れるようになりました。ただし、これが何を意味するかは正確に押さえる必要があります — SDKが公式になったのであって、AndroidがLinux・Wi

  2026-07-16 · 21 分で読めます #swift#android-swift#cross-platform#kotlin-multiplatform#swift-package-manager

• 5ノードRaftのうち3ノードが同時に死んだ理由 — Coinbaseの2026年5月7日障害を読む ♪ 聞けます

  2026年5月7日夜、AWS us-east-1の可用性ゾーンuse1-az4内にある一つのデータホールで冷却装置が同時に故障し、Coinbaseは取引や入出金を含む大半のサービスが約8時間にわたって停止または縮退する障害を経験しました。6月1日に公開されたCoinbaseのポストモーテムは、5ノードのRaftマッチングエンジンのうち3ノードが同時に死んでクォーラムを失った経緯と、AWSのマネージドKafkaであるMSKのコントロールプ

  2026-07-16 · 35 分で読めます #distributed-systems#postmortem#consensus#aws#resilience

• bcachefsがイレイジャーコーディングのexperimentalタグを外した話 — それが何を意味するか

  2025年9月29日、リーナス・トーバルズは1つのコミットでカーネルからbcachefsのコード117,483行を削除し、bcachefsはZFSのようにDKMSモジュールとして配布されるファイルシステムになりました。ドラマはそこで終わり、2026年の本当のニュースは別にあります — bcachefsのイレイジャーコーディング(RAID5/6に相当する機能)がexperimentalタグを外したのです。ところがこの事実を伝える一文がネッ

  2026-07-16 · 28 分で読めます #linux#kernel#filesystem#bcachefs#storage

• プラットフォームを使うチームはスループットが8%、変更の安定性が14%低かった — DORAのデータを因果として読んではいけない理由 ♪ 聞けます

  2026年現在、内部開発者プラットフォームの導入率は90%と報告されています。ところが、その数字を出したDORAリポート自身のデータには、都合の悪い結果も同居しています — 2024年リポートでは、プラットフォーム利用者は個人生産性が8%、チーム成果が10%高かった一方で、スループットは8%、変更の安定性は14%低く、DORAはこれを「驚くべき結果」と呼びました。さらに重要なのは、DORA自身が提示した3つの仮説のうち一つが逆因果だとい

  2026-07-16 · 38 分で読めます #platform-engineering#dora#internal-developer-platform#devex#research-methods

• containerd 2.3のEROFSネイティブレイヤー — アンパックをなくす代わりに何を差し出したか

  2026年4月30日に出たcontainerd 2.3は、レジストリからEROFSファイルシステムイメージをそのまま受け取ってマウントする経路を開きました。tarを展開しないのでアンパック段階が丸ごと消え、その場所にはblobコピー1回だけが残ります。ただしこれは誰もが待っている遅延ロード(lazy pull)ではありません — containerd自身のseekable-erofs PRが「チャンクテーブルは書くが消費しない」と明記し

  2026-07-16 · 29 分で読めます #container#containerd#oci#storage#linux

• Clang 22 の MSVC ABI 変更 — vector deleting destructor と、22.1.x にまだ残る delete[] ヒープ破壊

  Clang 22.1.0(2026-02-24)は、MSVC ABI をターゲットにするときのデストラクタコード生成を2箇所変更しました。一つは ::delete の処理を MSVC に合わせたこと、もう一つは2014年に開かれたイシューを11年7ヶ月かけて閉じた vector deleting destructor のサポートです。どちらも本物のバグを直す変更ですが、vftable スロットに入るシンボルが変わる ABI 変更のため、

  2026-07-16 · 30 分で読めます #llvm#clang#cpp#compiler

• QUICはなぜ速いインターネットで遅くなるのか — 受信側CPUと、まだ来ないカーネルQUIC ♪ 聞けます

  QUICはハンドシェイク遅延と損失回復では明確に勝ちました。Googleがインターネット規模で測定した検索遅延8.0%(デスクトップ)の削減、動画リバッファ率18.0%の削減がその証拠です。ところがリンクが速くなると話は逆転します — WWW 2024の測定研究は、帯域幅が1 Gbpsに達するとChromeでQUICがHTTP/2より45.2%遅くなると報告し、犯人はよく名指しされる暗号化でもサーバーでもなく、受信側クライアントのパケッ

  2026-07-16 · 35 分で読めます #network#protocol#performance#linux-kernel

• イシュー1件でサプライチェーンの端まで — CI内のエージェントが崩れた経路と、防御が実際に稼いだ時間 ♪ 聞けます

  2026年6月1日にGMO Flatt SecurityのRyotaKが公開したClaude Code GitHub Actionsの脆弱性は、CIパイプラインに入り込んだエージェントがどのようにしてリポジトリ全体を明け渡す通路になるのかを、最後まで追った事例です。ボット判定の一行が信頼境界を崩し、イシュー本文に仕込まれた指示が命令になり、読み取り専用に見える一つのコマンドが流出チャネルになります。本稿はその経路をアーキテクチャのレベル

  2026-07-16 · 39 分で読めます #security#ai#prompt-injection#supply-chain#ci-cd

• ROVが防いだこと、ASPAがまだ防げないこと — 2026年6月テレグラム・ハイジャックとルーティングセキュリティの次の層 ♪ 聞けます

  2026年6月16日、インドのRcom(AS18101)がテレグラムのプレフィックスをハイジャックし、Kentikの計測によればそのハイジャック経路を見た自社BGPソースはわずか1.6%だけでした。RPKI ROVが実際に機能した事例です。しかしこれは、originを偽装しない不手際なハイジャックだったからであり、ROVの構造的な天井は、originが正当なままルートが誤った方向へ流れるルートリークをまったく見抜けない点にあります。その

  2026-07-16 · 41 分で読めます #network#bgp#rpki#routing#security

• axios アカウント乗っ取り3時間 — provenance はオンだったが、誰も確認しなかった ♪ 聞けます

  2026年3月31日00:21 UTC、週間ダウンロード8千万件を超える axios に悪性バージョン1.14.1がアップロードされました。興味深いのは、axios がすでに npm の trusted publishing を使っていたという点です — 直前の正規リリース1.14.0は GitHub Actions が OIDC で発行しており、SLSA provenance まで付いていました。それでも防げませんでした。truste

  2026-07-16 · 35 分で読めます #security#supply-chain#npm#nodejs#devsecops

• Parquet 2.13.0 の nan_count と IEEE 754 total order — float 統計が3年3か月かけて直った話 ♪ 聞けます

  Parquetのmin/max統計は、クエリエンジンにデータをスキップさせるための仕組みです。ところが浮動小数点カラムでは、この仕組みが10年以上前から微妙に壊れていました — NaNはどんな比較でもfalseを返すため統計から除外され、その結果NaNを含むページが、maxより大きい値を探すクエリで丸ごとスキップされてしまうことがあります。性能の問題ではなく、結果が間違う問題です。2026年6月13日にリリースされたparquet-fo

  2026-07-16 · 31 分で読めます #data-engineering#parquet#columnar-storage#apache-arrow

• Kubernetes v1.36 の Workload/PodGroup API — ギャングスケジューリングが kube-scheduler に入りつつある ♪ 聞けます

  AI学習・バッチワークロードのギャングスケジューリングは、これまでVolcanoやKueueといった外部スケジューラの仕事でしたが、Kubernetesはこの機能をコアに取り込み始めています。v1.35はWorkload APIと最初のギャングスケジューリング実装をアルファとして出し、2026年4月22日リリースのv1.36は構造を作り直し、Workloadを静的テンプレートに、新しいPodGroupをランタイムオブジェクトに分離して、

  2026-07-16 · 33 分で読めます #kubernetes#scheduling#gang-scheduling#distributed-training#dra

• git history — Git が rebase の隣に置いた実験的な history 書き換えコマンド

  Git 2.54(2026-04-20)で git history という新しいコマンドが実験的に追加され、2.55(2026-06-29)で fixup サブコマンドが加わりました。reword/split/fixup という3つのよくある history 書き換え作業を、インタラクティブ rebase なしにコマンド一発で処理し、対象コミットの子孫ブランチをまとめて原子的な ref トランザクションで更新します。メンテナーの Pat

  2026-07-16 · 29 分で読めます #git#version-control#jujutsu#rebase

• Debianが再現不可能なパッケージのtesting移行を止め始めた — ゲートが実際に止めるものと止めないもの ♪ 聞けます

  2026年5月9日、Debianリリースチームは移行ソフトウェアbritneyを再現性検査に接続しました。翌日メーリングリストに投稿された文は"Debian must ship reproducible packages"でしたが、実際に止まるのは再現しない新規パッケージと、以前は再現していたパッケージの回帰の2つだけです。本稿はそのゲートを分解します — builddが残した.buildinfoを使って配布されたバイナリをそのまま再構

  2026-07-16 · 37 分で読めます #devops#reproducible-builds#debian#supply-chain#ci-cd

• ドキュメントから知識グラフへ — 正直な構築パイプライン

  「ドキュメントから知識グラフを抽出する」はデモでは LLM 呼び出し一回のように見えます。しかし顧客のドキュメントを実際にクエリ可能なグラフに変える仕事は6段階のパイプラインであり、コストと苦痛の大半は抽出ではなくエンティティ解決にあります。この記事では、スキーマ(オントロジー)を先に決める理由、LLM ベースのスキーマ制約抽出(LangChain の LLMGraphTransformer、LlamaIndex の Simple/Sc

  2026-07-15 · 17 分で読めます #knowledge-graph#ai#llm#data-engineering