ブログ

한국어English日本語中文

#2026-03 764#japanese 587#deep-dive 254#kubernetes 247#culture 236#career 224#ai 214#llm 208#devops 193#2026-04 144#security 139#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 59#rag 59#economy 57#mlops 53#self-improvement 53#ai-platform 51#food 51#learning 51#python 51#travel 51

• MCPがセッションを取り払う — 2026-07-28リビジョンのステートレスコアを読む

  MCP仕様の次のリビジョン2026-07-28は、公開以来もっとも大きな変更です。核心はプロトコル層から状態を取り払うこと — initializeハンドシェイクとMcp-Session-Idセッションが消え、すべてのリクエストがmetaにプロトコルバージョンとクライアント能力を載せて自らを説明します。その代償として、サーバーが聞き返す方式がMRTR(Multi Round-Trip Requests)にひっくり返り、SSE再開(res

  2026-07-16 · 30 分で読めます #mcp#ai#protocol#agents#integration

• InfluxDB 3 Core の「72時間制限」は実は432ファイル制限だった — Parquet書き直しが残した請求書

  InfluxDB 3はエンジン全体をRustで書き直し、ストレージ層をApache ArrowとParquetの上に載せました。よく「Coreは直近72時間しかクエリできない」と言われますが、ソースを読んでもそんなコードはありません。実在するのはクエリ1回がスキャンできるParquetファイル数の上限432だけであり、72時間はデフォルトのgen1ブロック10分を掛けて出てくる派生値、しかも最良のケースにすぎません。本稿では432という

  2026-07-16 · 33 分で読めます #database#influxdb#time-series#parquet#storage-engine

• Kafka Diskless Topics(KIP-1150)とは — クロスAZコストと引き換えるレイテンシ、そしてまだ出荷されていない機能

  2026年3月2日、Apache KafkaコミュニティはKIP-1150 Diskless Topicsを承認しました。ブローカーのディスクの代わりにオブジェクトストレージをデータの正本とし、ハイパースケーラーでKafkaコストの大きな柱であるクロスAZレプリケーショントラフィックをなくそうという提案です。ただし承認されたのは方向性であって実装ではなく — KIP本文自体が「このKIPは承認されてもコードベースの変更を要求しない」とは

  2026-07-16 · 31 分で読めます #kafka#streaming#distributed-systems#cloud-native

• llama.cppがブラウザに来た — WebGPUバックエンドが16台の実機で測った天井

  UC Santa Cruzのチームが2026年5月に公開したLlamaWebは、llama.cppのWebGPUバックエンドであり、8ベンダーの実機16台でブラウザLLM推論を実測した、これまでで最も広いデータセットを残しました。結果は両面的です。既存のブラウザフレームワーク(WebLLM、Transformers.js)よりメモリを29〜33%少なく使い、デコードのスループットは45〜69%高い一方で、prefillはWebLLMの4

  2026-07-16 · 29 分で読めます #webgpu#llm-inference#llama-cpp#on-device-ai#browser

• JDK 26 の final フィールド変更警告 — JEP 500 が実際に変えたこと、そして今確認しておくべきこと

  JDK 26(2026年3月17日 GA)は、JEP 500「Prepare to Make Final Mean Final」を通じて、ディープリフレクションで final フィールドを再代入するコードにランタイム警告を出すようになりました。JDK 5 以降、setAccessible(true) の後の Field.set() は final フィールドを自由に変更できており、Gson のようなデシリアライズライブラリやフィールド注

  2026-07-16 · 31 分で読めます #java#jvm#reflection#serialization#migration

• Ferrocene の認証された core — コンパイラは ASIL D なのに、ライブラリはなぜ ASIL B で止まるのか

  「Ferrocene の Rust コンパイラは ASIL D 認証を受けている」という文はそれ自体正しいのですが、そこから人がよく引き出す結論は正しくありません。Ferrocene はコンパイラを ISO 26262 ASIL D / TCL 3 の「ツール」として資格認定されており、これは「このツールを使って ASIL D ソフトウェアを開発してよい」という意味であって、「成果物が ASIL D になる」という意味ではありません。実

  2026-07-16 · 44 分で読めます #embedded#rust#ferrocene#safety#systems

• Go 1.26 の goroutineleak プロファイル — GCのマーキングでゴルーチンリークを捕まえる

  Go 1.26(2026年2月10日)は runtime/pprof に goroutineleak プロファイルを実験的機能として追加しました。アイデアはGCのマーキング段階を再利用することです — 実行可能なゴルーチンだけをルートにしてマーキングした後、どのゴルーチンからも到達できない並行プリミティブにブロックされたゴルーチンをリークとして報告します。メモリ到達可能性がゴルーチンの生存性の健全な過大近似であるという点が核心で、そのた

  2026-07-16 · 32 分で読めます #go#goroutine#garbage-collection#profiling#debugging

• CXLメモリティアリング、カーネルはどこまで来たか — DAMONがマージしたものと数字が測っていないもの

  CXLハードウェアがサーバーに挿さっていても、熱いページと冷めたページを実際に動かすのはカーネルです。2026年7月現在、Linux mainlineにはDAMON/DAMOSベースのティアリング部品が6.11から7.2-rc1まで分かれて入っていますが、肝心の「入れれば動く」ティアリングカーネルモジュールは存在せず、CONFIGDAMONはLinusがデフォルト有効化を差し戻して以来オフのままです。本稿はどのコードが何番のカーネルに実

  2026-07-16 · 34 分で読めます #hardware#cxl#memory#linux-kernel#performance

• ambient に移行すると EnvoyFilter は静かに無視される — Istio 1.30 の TrafficExtension が埋めた穴、埋まらなかった穴

  ambient モードへの移行を阻む本当の障壁は、リソースではなく拡張性です。Istio公式のマイグレーション文書は、EnvoyFilterがwaypointでサポートされておらず、移行後は「静かに無視される」こと、代替がなければ「マイグレーションのブロッカー」になることを、はっきりと書いています。2026年5月18日に出たIstio 1.30は、この穴を狙ってTrafficExtension APIを導入しました — Wasm と L

  2026-07-16 · 26 分で読めます #kubernetes#istio#service-mesh#envoy#ambient-mesh

• .NET 11 runtime-async — async状態マシンをコンパイラからランタイムへ移す中間報告

  Cのasync/awaitは2012年からずっとコンパイラの機能でした。Roslynがメソッド本体を状態マシンクラスへ書き換え、ランタイムはそれがasyncだとも知らずに実行してきたのです。.NET 11のruntime-asyncはその書き換えをランタイムの内側へ移します — メソッドにMethodImplOptions.Asyncフラグが付き、中断と再開はJITとVMが直接処理します。目に見える最初の成果は、生きたスタックトレースが

  2026-07-16 · 32 分で読めます #dotnet#csharp#async#jit#performance

• Iceberg v3 ロウリネージ — 行IDはファイルに保存されない

  Apache Icebergフォーマットv3は、すべての行に安定した識別子を与えるロウリネージをスペックに組み込みました。これはオプションではなく、v3テーブルであれば無条件でオンになります。ところがこの値はデータファイルには保存されません — テーブルのnext-row-idからスナップショット、マニフェスト、データファイルへと下る継承チェーンを通じて、読み取り時に計算されます。楽観的コミットが再試行される際にデータファイルを書き直さ

  2026-07-16 · 31 分で読めます #iceberg#lakehouse#table-format#data-engineering#spark

• なぜベクトルインデックスの既定値はHNSWからディスクへ変わったのか — Elasticsearch bbq_diskのトレードオフ

  Elasticsearch 9.4(2026-05-05)から、floatベクトルの既定インデックスタイプがbbqdisk、つまりディスクベースのIVFに変わりました。1年足らずの間に既定値はint8hnswからbbqhnswへ、さらにグラフではないディスクインデックスへと二度移り変わったわけですが、この移行はベクトル検索の本当のコストが計算ではなくRAMにあるという判断を含んでいます。本稿では、HNSWのメモリ崖がベンダーベンチマーク

  2026-07-16 · 40 分で読めます #vector-database#elasticsearch#ann-index#quantization#hnsw

• 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