Pixel 10に対する0-clickエクスプロイトチェーン ― Project Zeroの最新研究
A 0-click exploit chain for the Pixel 10
Google Project Zeroが、Pixel 10に対するゼロクリックからroot権限取得までの完全なエクスプロイトチェーンを公開した。2026年1月にパッチされたDolbyの脆弱性（CVE-2025-54957）を利用し、Pixel 9向けのエクスプロイトをPixel 10向けにオフセットを調整して移植した。ユーザー操作なしでAndroid端末を完全に制御できる深刻な脆弱性であり、Androidセキュリティの攻撃面の広さを示す重要な事例となっている。
OCamlが宇宙へ ― 低軌道衛星で動くOCaml CCSDSプロトコルスタック
O(x)Caml in Space
純粋なOCamlで実装されたCCSDSプロトコルスタックが、DPhi SpaceのClusterGate-2ペイロードモジュール内で低軌道上で起動した。プロジェクト名「Borealis」は、エンドツーエンド暗号化によるコマンド・コントロールと耐量子鍵ローテーションを全てOCamlで実装している。OCaml 5のマルチスレッド対応ランタイムを活用し、安全な言語で衛星上の信頼できないコードを実行するリスクを軽減する取り組みだ。
BunのRust書き換えでmiriチェック失敗 ― safe Rustでの未定義動作が発覚
Bun Rust rewrite: "codebase fails basic miri checks, allows for UB in safe rust"
BunランタイムのZigからRustへの書き換えにおいて、Rustの公式未定義動作検出ツールmiriの基本チェックに失敗し、safe Rustコード内で未定義動作が存在することが報告された。Anthropicによるbun.sh買収後に始まったこのRust移行プロジェクトは、302件以上のコメントが付く大きな議論を呼んでおり、LLMを活用した大規模コード移植の品質管理における課題を浮き彫りにしている。
「S字カーブがあるから大丈夫」は通用しない ― AIスケーリング議論への反論
The sigmoids won't save you
Scott AlexanderがAIの能力成長に関する「全ての指数関数はいずれS字カーブになる」という楽観論を批判する。指数的な成長がいずれ頭打ちになるのは事実だが、それがいつどのレベルで起きるかは予測不可能であり、「S字カーブだから安全」という議論は実質的に何も言っていないと論じている。AI能力の今後の軌道について、具体的なデータに基づく議論の必要性を訴える内容だ。
ニューラルネットがSnakeを学習する過程をリアルタイムで観察できるサイト
Show HN: Watch a neural net learn to play Snake
PPO（Proximal Policy Optimization）アルゴリズムを用いたニューラルネットワークがSnakeゲームをプレイすることを学習する過程を、ブラウザ上でリアルタイムに可視化するインタラクティブなWebアプリケーション。学習の各段階でエージェントの行動がどのように変化していくかを視覚的に追跡でき、強化学習の仕組みを直感的に理解できる教育的なプロジェクトだ。
RustとCategory Theoryで機械学習フレームワークを構築する
Building ML framework with Rust and Category Theory
圏論（Category Theory）の数学的抽象化をRustの型システムで表現し、機械学習フレームワークを構築する実験的プロジェクト。関手やモナドといった圏論の概念をTransformerアーキテクチャの実装に応用し、型安全性を保ちながらMLパイプラインを構成する手法を探求している。理論と実装の橋渡しとなる意欲的な取り組みだ。
Nintendo 64でWindows CE 2.11を動かす ― カスタムHALによるリバースエンジニアリング
WinCE64 – Windows CE 2.11 for N64
N64の実機上でMicrosoftのWindows CE 2.11を動作させるホビープロジェクト。VR4300プロセッサ向けのカスタムHAL、OAL、ディスプレイドライバ、ファイルシステム、サウンドドライバなどを自作し、未改変のCE 2.11カーネル（nk.lib）をN64上で起動させた。EverDrive-64 X7のSDカードをマウントし、N64コントローラーをマウスとして使い、サードパーティのCE用EXEファイルも実行可能だ。
Andrej Karpathy氏のLLM Wikiを1ヶ月運用してわかった、知識を『繋げる力』
Andrej Karpathy氏のLLM Wikiを1ヶ月運用してわかった、LLMの知識を『繋げる力』
LLMを使った論文要約は一度のセッションで完結するが、研究の質を決めるのは異なるタイミングで読んだ情報間の繋がりから生まれる気づきである。本記事ではAndrej Karpathy氏のLLM Wikiの仕組みを1ヶ月間運用し、LLMが別々の論文やWeb記事の間にある関連性を自動的に発見・提示する「繋げる力」の実用性と限界を検証している。半年前に読んだ論文と現在の論文の関係性を人間の記憶に頼らず発見できる点が大きな利点だ。
Agent Registryで動的にMCP/SkillやA2A Agentを検索・実行するAgentの実装
Agent Registry で動的に Harness (MCP/Skill) や A2A Agent を検索・実行する Agent の実装
組織内で開発されたMCP Server、Skills、sub agentなどのリソースを一元管理し、Agent Registryを通じて動的に検索・実行する仕組みをAmazon Bedrockで実装した解説記事。開発したHarnessが個人の資産に閉じがちな問題を解決し、組織横断で再利用可能にするアーキテクチャを提案している。Agent同士がRegistryを参照して必要なツールを動的にロードする設計パターンが実用的だ。
五反田式：スティグマジーを応用した自律型マルチエージェントシステム
五反田式: スティグマジーを応用した自律型マルチエージェントシステム【日本語訳】
AIコーディングエージェントでコード生産速度が向上すると、保守運用の負荷も比例して増大する課題に対し、アリの巣のような間接的コミュニケーション手法「スティグマジー」を応用したマルチエージェントシステムを提案する。エージェント同士が直接やり取りせず、環境に残された痕跡（コードの変更履歴やメタデータ）を通じて協調し、監視・デバッグ・リファクタリングを自律的に分担する設計思想を詳述している。
Amazon S3 VectorsでベクトルDBなしに画像の意味検索PoCを構築する
Amazon S3 Vectors で、ベクトル DB を立てずに画像検索 PoC を作る
建設・施工管理SaaS「KANNA」の現場写真を自然言語で検索したいという要望に対し、2025年に一般提供が始まったAmazon S3 Vectorsを使ったPoCを構築した事例。専用のベクトルDBを立てる運用負荷を避けつつ、S3上でベクトル検索を実現する構成と、実際に「足場の写真」「配筋の写真」といったテキストクエリで意味検索を行った所感を共有している。
Rustで型を渡すだけで実装が選ばれる仕組み ― 単相化の深層を理解する
Rust で型を渡すだけで実装が選ばれる仕組みを理解する
Rustのジェネリクスがコンパイル時に単相化（monomorphization）されることで実行時オーバーヘッドがゼロになる仕組みを、The Rust Programming Languageの記述を超えて深く掘り下げる。型パラメータに応じてコンパイラがどのように具体的な関数を生成するか、traitのディスパッチがどう解決されるかを、具体的なコード例とともに詳細に解説している。
LaravelをHTTPS公開した5分後に世界中のbotから攻撃を受けた話
LaravelをHTTPS公開した5分後、世界中のbotが叩いてきた
certbotでHTTPS証明書を取得してLaravelアプリを公開した数分後から、Moziボットネットによるマルウェア感染コマンド、WebLogicの脆弱性を狙うスキャン、その他多数の自動攻撃がアクセスログに記録された実体験を報告している。公開直後にどのような種類の攻撃が飛んでくるかを実際のログから分類・解説しており、Webアプリ公開時のセキュリティ意識の重要性を具体的に示している。
Claude Codeでリポジトリ全体を1枚のワークフロー図に変換するプロンプト
Claude Codeにリポジトリを1枚のワークフロー図にしてもらうプロンプト
新しいリポジトリに入った際に全体像を素早く把握するため、Claude Codeに「リポジトリを読んで1枚のワークフロー図にして」と依頼するプロンプトを作成した。実行するとflows.jsonとworkflows.htmlの2ファイルが生成され、外部ライブラリなしでブラウザで開ける。左パネルでフローを選択すると関連エッジがハイライトされ、注釈クリックで該当ステップが強調表示される対話的なUIを備えている。
LLMが生成したパスワードの統計的指紋 ― 検出とモデル帰属の研究
The Bot Left a Fingerprint: Detecting and Attributing LLM-Generated Passwords
LLMは確率的に最も起こりうる出力を生成する設計であり、これは安全なパスワード生成の要件と根本的に矛盾する。本研究はLLMが生成したパスワードに残る統計的指紋を検出し、どのモデルが生成したかを帰属する手法を開発した。漏洩したパスワードデータセットからLLM生成パスワードの普及率を測定し、実際にこれらのパスワードが野生環境でどの程度使われているかを定量的に分析している。
TanStackのnpmサプライチェーン攻撃の詳細分析 ― Shai-Huludワームの手口
Deep Dive: TanStack npm supply-chain compromise
5月11日、Shai-Huludワームの新型が42の@tanstack/*パッケージに対して84の悪意あるバージョンを公開した。攻撃はGitHub Actionsの3つの脆弱性を連鎖させた：pull_request_targetの悪用（Pwn Request）、fork-base間のキャッシュポイズニング、ランナーメモリからのOIDCトークン抽出。メンテナーのフィッシングやトークン窃取なしに、CI/CDパイプラインの信頼境界を突破した洗練されたサプライチェーン攻撃だ。
Androidのスクリーンリーダーでユーザー分離を突破する脆弱性
Bypassing User Isolation on Android with a Screen Reader
Androidのマルチユーザー機能において、アクセシビリティサービス（スクリーンリーダー）に1つのチェックが欠けていたために、あるユーザーのスクリーンリーダーが別のユーザーのプライベート通知を漏洩させる脆弱性が発見された。アクセシビリティサービスは高い権限で動作し、画面上のすべての情報にアクセスする必要があるため、マルチユーザー間の分離壁を破ってしまう事例だ。
AI Code Reviewは1回では終わらない ― LLMの確率的性質が生む構造的課題
The Never‑Ending AI Code Review: Why One Pass Isn't Enough
AIによるコードレビューを実行すると12件の問題が見つかり、修正して再実行すると8件、さらに5件と新たな問題が見つかり続ける現象は、LLMのバグではなく構造的な特性である。LLMはコンパイラやリンターのように決定論的に全行をチェックするのではなく、確率的に応答を生成するため、毎回異なる視点からコードを評価する。この問題に対する対処法として、複数パスの統合戦略が提案されている。
Agentセキュリティスタック ― Transport、Identity、Policy、Runtimeの4層整理
The Agent Security Stack: Transport, Identity, Policy, Runtime
Linear、Gmail、GitHub、Slackなど複数サービスと連携するAI Agentのセキュリティを、4つの層に整理するフレームワークを提案する。MCPゲートウェイ、非人間IDインベントリ、ランタイムガードレール、ポリシーエンジンなど、それぞれ異なる問題を解決するツールが乱立する中で、Transport（通信の安全性）、Identity（認証・認可）、Policy（権限制御）、Runtime（実行時の防御）という切り口で全体像を整理している。
Google社内IDE変遷史 ― 2011年から2024年のIDE統一への挑戦
A History of IDEs at Google
2011年から2024年までGoogle社内で働いた著者が、Google社内のIDE環境の変遷を詳述する。2011年時点でシニアエンジニアに「全Googler向けの統一IDEは可能か」と問うた答えは「No」だった。Emacs、Vim、Eclipse、IntelliJなどが混在する断片化した環境から、社内専用IDEの開発・試行を経て、モノレポに最適化されたIDEツールチェーンを模索した歴史を振り返る。
Windows 11のBitLockerデフォルト保護を完全に突破するゼロデイエクスプロイト
Zero-day exploit completely defeats default Windows 11 BitLocker protections
Windows 11のBitLockerのデフォルト保護を完全に無効化するゼロデイエクスプロイトが発見された。エクスプロイトの詳細な動作原理はまだ完全には明らかになっていないが、Microsoftは調査中と発表している。BitLockerはWindowsの標準ディスク暗号化機能であり、デフォルト設定での保護が突破されることは、企業・個人を問わず広範な影響を与えうる深刻な脆弱性だ。
arXivがAI生成論文の投稿者を1年間追放する新ルールを発表
ArXiv to Ban Researchers for a Year if They Submit AI Slop
プレプリント論文リポジトリarXivが、明らかにAI生成された論文を投稿した著者を1年間利用禁止にする新ルールを発表した。コンピュータサイエンスセクション委員長のThomas Diettericが、生成AIツールによる不適切な言語・盗用・偏向・誤りを含む投稿への対策として方針を示した。学術界におけるAI生成コンテンツの増加に対する具体的な規制措置として注目される。
東京大学がコンピュータ処理速度を1000倍にする発熱しない素子を開発
University of Tokyo develops device that increases computer processing speed by 1000 times, operating without generating heat
東京大学が、従来のコンピュータの処理速度を1000倍に向上させる新型素子を開発した。この素子は動作中に発熱しないという特徴を持ち、現在のプロセッサが抱える発熱問題の根本的な解決につながる可能性がある。日経新聞が報じたこのニュースはRedditのr/technologyで2500以上のupvoteを集め、次世代コンピューティング技術として大きな注目を集めている。
BunのRust移植騒動を追う ― Anthropic買収後のLLM活用コード移行の実態
Rust on my Buns
AnthropicによるBun.shの買収後、ZigからRustへのコード移植PRが公開され、コミュニティが騒然とした一連の出来事を追う。LLMを活用した大規模言語間コード移植の実態と、動かないコードに対する302件のコメントが付くほどの過剰反応を分析している。PR作成者が「自分はBunの開発者で、これは自分のブランチだ」とコメントする事態にまで発展した騒動の全容を整理している。
乗客なしのWaymo車が住宅地の行き止まりを何時間も周回する事案が発生
Empty Waymos invade Atlanta neighborhood, circle cul-de-sac for hours with no passengers
アトランタの住宅地で、乗客のいないWaymoの自動運転車が袋小路（cul-de-sac）を何時間も周回し続ける事案が報告された。先日も3800台のWaymo車が「水たまりに突入する」問題でリコール対象となったばかりで、自動運転技術の実運用における予期せぬ行動パターンの課題が改めて浮き彫りになっている。住民にとっては不気味で迷惑な状況だ。