AIに任せた自動研究がカーネルを232倍速に、Cursorは正式にSpaceX傘下へ
AI
Auto-research with codex: How I achieved a 232x Faster Kernel over baseline with Codex in GPU Mode’s qr_v2 problem
GPUの性能を極限まで引き出すプログラム（カーネル）を、人が手で書くのではなくAIに何度も試行錯誤させて速くする「オートリサーチ」の実践記録。筆者は GPU Mode が開催したコンテストに参加し、行列を分解する計算（QR分解）を183人中12位、お手本のプログラム比で232倍の速さまで持っていった。ポイントは、AIに「速くして」と丸投げするのではなく、まず自分が問題を理解して「良い質問」を作れるところまで学んだこと。そして途中で伸びが止まったときに、同じ改善案を延々と試させるのではなく、わざと違う発想の案を複数ぶつけて袋小路（局所最適）から抜け出させたことだという。AIエージェントを「速く回る実験装置」として使う場合、人間の役割は正解を出すことではなく、実験の設計と行き詰まりの検知に移るという実例になっている。
AIの「分かったふり」を見続けていると人間も「分からない」と言えなくなるという研究結果
パリ高等師範学校の研究チームが、AIが人間の「分かりません」と言う力を弱めていないかを実験で調べた。わざとAIが答えられないマニアックな映画の質問を用意し、AIを使えるグループと使えないグループに解かせたところ、判断を保留して「分からない」と答えた人はAIなしで44%だったのに対し、AIありではわずか3%まで落ちた。しかも正答率はAIなしの27%からAIありの9%へと3分の1に下がり、逆に「自分の答えは正しい」という自信は30%から76%へ倍以上に増えている。当たれば報酬が出る条件にしても正答率は16%までしか戻らず、AIの誤った答えを自分の判断より信じてしまう傾向は消えなかった。研究チームは、AIが当たり前にある環境で育つ子どもたちに批判的に考える力をどう身につけさせるかは、教育政策として社会全体で扱うべき問題だと指摘している。
Google、GeminiとFlowで生成する画像や動画に付く「目に見えるウォーターマーク」を非表示にできる設定を追加
Googleが、GeminiとAI映像制作ツールFlowで作った画像・動画・楽曲に付く「見える透かし（ウォーターマーク）」を、設定でオフにできるようにした。ただし消せるのは目に見える方だけで、人間には分からない形で埋め込まれる「SynthID」と、制作の出どころや編集履歴を記録する「Content Credentials」は設定に関係なく常に入り続ける。作ったファイルをGeminiにアップロードして「これはAIで作られたもの？」と聞けば、SynthIDの検出結果を確認できる仕組みも用意されている。表示の自由度と、後から出どころをたどれる安全性のバランスを取った形だ。透かしを消したいという要望はユーザーからの改善要望で6位に入っていたもので、法令で表示が義務づけられている国では引き続き強制表示される。
Claude Code v2.1.233 の主要アップデート - Todo ツールの既定無効化
Claude Code の v2.1.233 が公開された。目立つのは、作業の段取りを一覧管理する Todo ツールが一部のモデルで既定オフになった点で、これは互換性を壊す変更にあたるため利用中の人は影響確認が要る。新機能では GitLab のマージリクエスト URL に対応し、GitHub 前提だった並行作業の導線が GitLab でもそのまま使えるようになった。Linux では、暴走したビルドがマシンごと巻き込むのを防ぐメモリ上限の設定（CLAUDE_CODE_TOOL_MEMORY_LIMIT）が追加され、待機中なのに CPU を1コア占有し続ける不具合も直っている。セキュリティ面では、Windows の特殊なパス表記でパス検証をすり抜けられる問題が修正され、認証情報が外部に漏れうる経路が塞がれた。Windows で外部から取得したファイルを扱う機会がある人は優先して更新したい。
Working with AI Feels More Like Leadership Than Coding
AIと仕事をする感覚は、プログラムを書くというより人を率いる仕事に近い、という論考。従来のプログラムは同じ入力に同じ結果を返すのが当たり前で、そうでなければバグと呼んだ。しかしAIは同じ頼み方でも違う答えを返し、こちらが思いつかなかった筋道を出してくることもあれば、当たり前の点を見落とすこともある。これをコンパイラのように扱うとひたすら苛立つが、同僚との共同作業として扱うと途端に使えるようになる、というのが筆者の実感だ。良い上司が指示だけでなく背景・目指す成果・越えてはいけない線を共有するように、AIにも都度のプロンプトより「共有された作業の文脈」を渡す方が効く。ここ何十年かけて身につけた「機械に手順を正確に伝える技術」から、「意図をうまく言葉にする技術」へ、必要な能力が移りつつあるという指摘だ。
Infra
グラボ高騰が止まらない！ RTX 5090は100万円超えの可能性も、「組むなら8月中」の声
グラフィックスカード（GPU）の値上がりがお盆を挟んでも止まらず、従来比2〜3割増の水準がメーカー単位で広がっている。特に上がり幅が大きいのは搭載メモリの多いカードで、GeForce RTX 5060 Ti の16GB版は安価な11万円台が売り切れて15万円前後だけが残る店も出てきた。同じGPUでも8GB版は7万円台から買えるため、メモリ違いで倍の価格差という異常な状態だ。12GB搭載の RTX 5070 の最安が11万円台のため、一部では上位モデルの方が安いという価格の逆転すら起きている。最上位の RTX 5090 は最安クラスで90万円、特別仕様なら100万円超えが見込まれるという。ショップからは「組むなら8月中」という声が複数出ており、9月に入るとセット割引のキャンペーンが一斉に終わって値段だけが残る、というのが理由だ。
ドコモ、スターリンクを使った音声・高速通信対応へ 28年度開始
NTTドコモが、人工衛星とスマートフォンが基地局を介さず直接やり取りする「docomo Starlink Direct」を大幅に拡張すると発表した。Starlink Japan と次世代衛星「Starlink Mobile V2」の契約に合意し、2028年度から音声通話やブラウジングなどの高速インターネット、IoT機器との直接通信に対応する。現在はテキストメッセージの送受信と一部アプリの利用に限られており、そこから通常のスマホ利用に近い水準まで広がることになる。このサービスは4月27日の提供開始以来、ahamo を含む全料金プランの契約者が申し込み不要・無料で使え、3か月で利用者650万人を突破している。山間部や離島、海上など基地局を建てにくい場所でのデータ収集や遠隔監視にも道が開ける形だ。
Telegramの5つあるデータセンターの謎
メッセージアプリ Telegram は公式に5つのデータセンター（DC1〜DC5）を持つとされているが、それは本当かと疑った中国の開発者 Coxxs 氏の調査記録。Telegram はアカウント登録時に自動で特定のデータセンターに紐づけられ、その後は電話番号や居場所が変わっても紐づけ先は変わらない。コミュニティで自分の接続先を照会するボットを作って調べたところ、中国の番号（+86）はシンガポールの DC5、北米（+1）はマイアミの DC1、ヨーロッパはアムステルダムの DC4 に振り分けられていた。ところが DC2 と DC3 に当たるユーザーがまったく見つからない。使う人の体験も接続先によって大きく違い、DC5 は頻繁に停止するため、中国のコミュニティでは「なぜまた DC5 は落ちたのか」が定番の話題になっているという。
コンピューターの敵だった「熱雑音」を逆に利用して省電力を狙う「熱力学コンピューティング」とは？
熱で原子や電子が不規則に動くことで回路に生じる小さな揺らぎを「熱雑音」と呼ぶ。普通のコンピューターにとってこれは計算を壊す敵で、半導体は熱雑音よりはるかに大きなエネルギーを使って0と1を確実に切り替えるよう作られている。その電力は最終的に熱になって捨てられるため、雑音を抑え込む方針そのものが効率の壁になっていた。熱力学コンピューティングはこの発想を裏返し、熱雑音が効いてくるほど小さなエネルギーで回路を動かして、揺らぎ自体を計算に使う。坂に置いたボールが自然に低い場所へ転がるように、答えに当たる状態が一番低い谷になるよう回路を設計し、システムがそこへ落ち着く過程を計算に見立てる仕組みだ。逆行列を求める例では、熱平衡に達した回路の電圧の揺らぎ具合を測るだけで答えが得られるという。ただし平衡に達するまでの時間が読みにくいという課題があり、現時点では小さな試作機とシミュレーションで原理を確かめている段階にある。
COMPUTEXを振り返る、QNAPのデュアルアクティブコントローラー搭載NASや、NVIDIA RTX PRO搭載NASなど(エンタープライズストレージ編)
6月に開催された見本市 COMPUTEX TAIPEI 2026 のうち、企業向けストレージ製品をまとめた振り返り記事。目を引くのは QNAP の「デュアルアクティブコントローラー」搭載NASで、CPU や電源といったシステム一式を1台の中で二重に持つことで、片側が壊れても、OSを更新するときでも、装置を止めずに動かし続けられる。同社はNASを何台も連結して容量だけでなく処理速度も伸ばせる「スケールアウト型」の QSN シリーズも展示したが、効果が出るのはペタバイト級の環境からだという。AMD EPYC と NVIDIA RTX Pro Blackwell を積んだAI向けストレージサーバー「QAI-h1290FX」も発表され、自社内でのLLM推論や社内文書の検索（RAG）を想定した構成になっている。Synology は AI による異常検知とマルウェア検出を統合したデータ保護専用機「DP5200」を出しており、ストレージ側にAIを載せる流れが企業向けでも進んでいることが分かる。
Backend
我々は富豪プログラミングをしていた。Cloudflare Workersで実装はどう変わるか
EC2 で動かしていた NestJS のアプリを Hono + Cloudflare Workers へ移した経験から、「サーバー代に溶けていた実装の重さ」が一つ一つ値札を持ち始めた話。大きなSDKをそのまま入れる、レスポンスを全部メモリに載せる、データベースの問い合わせを順番に待つ——どれも EC2 では月額に紛れて誰も困らなかったが、Workers ではバンドルサイズ・128MBのメモリ・CPU時間といった形で個別に効いてくる。実測では、AWS Secrets Manager を1回叩くだけでも公式SDKは70.64KiB、軽量な代替は8.31KiBと大きな差があった。筆者は「重いから使うな」ではなく、認証まわりならフル機能のSDKか署名検証だけの軽量ライブラリかというように、パッケージ名ではなく担わせたい責務から選ぶようになったという。メモリも「置き場所」ではなく「通過点」と捉え直し、流せるものはストリームで流す設計に変えたと振り返っている。
How to Safely Fetch Metadata from User-Submitted URLs (Without Getting Hit by SSRF or DNS Rebinding)
ユーザーが貼ったURLをサーバー側で取りに行く機能——リンクのプレビュー、外部サイトからの取り込み、AIエージェントのWeb閲覧——には、社内ネットワークを勝手に覗かれる「SSRF」という穴が必ず開いている、という解説。よくある対策は、取りに行く前にドメイン名からIPアドレスを調べて社内向けIPなら弾く、というものだ。ところがこの検査で調べたIPと、実際に通信するときにもう一度調べるIPは別物で、そこに時間差がある。攻撃者はこの差を突き、1回目は正当な公開IPを返し、2回目でクラウドの内部情報を返す特別なアドレス（169.254.169.254）や自分自身（127.0.0.1）に切り替える。これが「DNSリバインディング」で、名前の検査だけでは防げない。記事は、なぜ素朴な対策が破られるのかを手順を追って示したうえで、実際に穴を塞ぐ書き方まで踏み込んでいる。
Improving system safety with Temporal Logic of Actions (TLA+)
複数のサーバーが同時に動くシステムで一番見つけにくいバグは、個々の処理が正しくても「誰も想定しなかった順番」で重なったときに起きる、という話から始まる記事。テストは書いた人が思いついた順番しか試さないので、思いつかなかった順番に潜むバグはすり抜ける。Depot Registry では処理量が増えた結果、100万分の1の巡り合わせが日常的に起きるようになったため、不要データの掃除処理（ガベージコレクタ）を作り直す際に TLA+ という道具でモデル検査を行った。TLA+ ではシステムを状態と遷移の形で簡略化して書き、検査器が到達しうる全状態・全順序を総当たりして「壊れない条件」が本当に守られるかを確かめる。結果として、テストとレビューがどちらも見逃していた本物のバグが見つかり、「中身が絶対に変わらないはずのデータなのに、なぜS3のバージョニングに頼るのか」という一見おかしな設計判断も言語化できたという。
無料でMySQL・PostgreSQL・SQL Server・MongoDB・SQLiteなどのデータベースを操作できる「DbGate」、ブラウザ経由だけでなくWindows・Linux・Macアプリもあり
複数の種類のデータベースを扱うたびに専用ツールを入れ直す手間をなくす、統合データベース管理ツール「DbGate」の紹介。MySQL や PostgreSQL のように表の形が決まっているものから、MongoDB のように JSON に近い形で持つものまで、同じ画面から接続して中身を見られる。表のセルをダブルクリックすればその場で書き換えられ、クエリ用のタブを開けば SQL を直接実行してログを確認できる。Windows・Linux・Mac のアプリ版に加えてブラウザからも使え、Docker イメージも配布されているので、サーバー上に立てて社内から共有することもできる。無料の Community 版は1ユーザーまでという制限があるため、チームで使う場合はそこが判断の分かれ目になる。
【Golang】CSV／JSON／Excel／Parquet に SQL を実行する sqly を約4年かけて v1.0.0 にした
CSV や JSON、Excel、Parquet といった手元のファイルに対して SQL をそのまま実行できる Go 製のコマンドラインツール「sqly」が、初版から3年9か月かけて v1.0.0 に到達した。仕組みはファイルをメモリ上の SQLite3 に読み込むというもので、そのおかげで JOIN や CTE、ウィンドウ関数といった SQLite の機能をほぼそのまま使える。gzip 圧縮された CSV と Parquet のように、形式の違うファイル同士を結合することもできる。興味深いのは v1.0.0 の位置づけで、作者は「機能が揃ったから」ではなく「LLM が出てきた頃の軽率な判断で雑に機能を足しすぎた反省から、機能を整理するため」だと明言している。実際、リリース前のバグ出しではシンボリックリンクの扱い不備によるファイル上書きなど致命的なバグが見つかっており、増やした機能を削る作業そのものが節目になった例といえる。
Frontend
Firefox is now the last major browser that still supports uBlock Origin
Microsoft Edge が旧方式（Manifest V2）の拡張機能を締め出す方針を示したことで、広告ブロッカーの定番 uBlock Origin を使える主要ブラウザは Firefox だけになる見通しになった。Firefox は Bluesky で「uBlock Origin のサポートはなくならない」と明言している。Edge は Chromium という土台の上に作られており、その土台を握る Google が進めた新方式（Manifest V3）への移行にそのまま追随した形だ。Opera、Brave、Vivaldi、Samsung Browser など多くのブラウザも同じ土台の上にあるため、同じ道をたどる。新方式では、広告を見つけて止めるために必要な機能に拡張機能が触れられなくなるのが問題の核心だ。Chromium 系でない主要ブラウザは Safari と DuckDuckGo くらいだが、どちらもそもそも uBlock Origin に対応していない。
ActivityPub Won by Being Boring
分散型SNS（Fediverse）を支える規格 ActivityPub が広まったのは、中身が意図的に退屈だからだ、という論考。FediForum 2026 で規格の共著者 Evan Prodromou が行った講演をもとに、なぜあの平凡な部品構成が効いたのかを整理している。ActivityPub が取り決めているのは「独立したサービス同士が活動データをやり取りする」という最低限の合意だけで、どんなデータベースを使うか、どう荒らしに対処するか、誰を受け入れるか、画面をどう作るか、何を上位に表示するかは一切決めていない。だからこそ Mastodon、PeerTube、Lemmy、WriteFreely、Pixelfed、WordPress、そして個人が立てた一人用サーバーまでが、それぞれ違う形のまま同じ網につながっていられる。2010年代半ばのWebエンジニアが見れば「まあ自分もだいたいこう作るな」と思う設計であること自体が、この規格の強みだったという主張だ。
Minimal WebRTC: building a 1:1 call where camera, mic, and screen are independent tracks
ブラウザだけで通話を実現する WebRTC の入門記事はたいてい「音声と映像がひとまとまりの1本の流れを、1本の接続に載せる」うまくいく例で終わる。この記事は、アカウント登録なしの1対1通話アプリを実際に公開した経験から、その先にある面倒な部分を扱っている。カメラ・マイク・画面共有を別々にオン/オフできるようにするため、3つを独立した流れとして持ち、同じ1本の接続に必要なものだけを載せる設計にした。切り替えるたびに接続の条件をやり直す交渉（再ネゴシエーション）が発生し、受け取る側では届いた映像が画面共有なのかカメラなのかを見分ける必要も出てくる。単に音を無効にする（ミュート）のではなく流れごと外す理由として、筆者は「共有していない」と「ミュート中」は相手への約束として別物だからだと説明している。
My comment section is static HTML
ブログのコメント欄を、外部サービスの埋め込み枠ではなく静的なHTMLとして配信している事例。記事のソースを表示するとコメントがそのまま本文と同じHTMLの中に入っており、ウィジェットも iframe も追跡用スクリプトも存在しない。ページを開いても、自分のサーバー以外にはどこにもリクエストが飛ばない。サイト内検索などで少しJavaScriptは使っているが、コメントの表示はそれに一切依存せず、JavaScriptを切っていても全部読める。裏側では自前の小さなサーバーが1台動いていて、記事を公開するときに1回だけAPIを叩いてコメント用のスレッドを作り、そのURLを記事のメタ情報に書き込む仕組みだ。読む側には何のコストも負わせず、書き込む側にだけ手間をかけてボットや荒らしを防ぐ、という割り切りになっている。
Accessibility Testing for Documentation: A Release Checklist
ドキュメントは見た目が完成していても、読み手が作業を完了できない状態になっていることがある。この記事は、公開前に何を機械に任せ、何を人の目で見て、どの不備なら公開そのものを止めるべきかを分けたチェックリストを示している。機械で拾えるのは、ページのタイトルが1つだけあるか、見出しのレベルが飛んでいないか、見た目を太字にしただけの偽の見出しがないか、といった繰り返し確認できる項目だ。一方で「ここをクリック」としか書かれていないリンクや、成功したかどうかがスクリーンショットを見ないと分からない手順は、人が実際に読み進めてみないと判断できない。筆者はわざと壊した見本と直した見本の両方に自作のチェッカーを走らせ、機械が判定できる範囲を確かめたうえで、人のレビューを体験の部分に集中させるべきだと結論づけている。
Others
SpaceX officially closes its Cursor acquisition
AIコーディングツールの Cursor が、正式に SpaceX の傘下に入ったと発表された。両社は4月に共同で技術開発を進める提携を結び、その際 SpaceX に600億ドルで Cursor を買収する選択権が付いていた。2か月後、SpaceX の株式公開に合わせて買収を進めると表明し、今回それが完了した形だ。SpaceX は今年すでに同じイーロン・マスク氏の xAI も買収しており、自前の計算基盤を Anthropic や Google にも貸し出す立場にある。Cursor は発表の中で SpaceX の計算資源に繰り返し言及し、「世界最大のGPU群を使えるようになる」と述べている。一方でこの計算基盤は、データセンターのガスタービンによる大気汚染をめぐって訴訟も抱えており、規模の拡大には別のコストも付いて回る。
裁判書類にAIへの隠し命令。米国初のプロンプトインジェクション制裁
米コネティカット州の裁判所で、弁護士を立てずに自分で訴訟を進めていた原告が、提出書類にAIへの隠し命令を仕込んでいたことが発覚した。文字の大きさは3ポイント、色は背景と同じ白で、人間の目にはただの空白にしか見えない。裁判所の職員が余白の不自然さから気づいたという。判事が警告したにもかかわらず本人は止めず、聴聞会の朝に提出した書類にはアニメの動画リンクまで隠されていた。制裁として電子書類の提出権限を剥奪され、以降はすべて紙で裁判所に持参することになった。米国で記録された初のプロンプトインジェクションへの司法制裁とされる。検索エンジンを騙すために背景色と同じ文字を仕込む古い手口が、読み手をAIに変えて戻ってきた形で、外部から届いたPDFをそのままAIに読ませている組織にとっては他人事ではない。
Everything is about to “go dark”
暗号研究者でジョンズ・ホプキンス大学教授の Matthew Green 氏が、AIについて一風変わった心配を書いている。多くの人はAIがソフトウェアを危険にすると懸念するが、氏の懸念は逆で、AIがソフトウェアを「安全にしすぎる」ことだ。これまで各国の情報機関や法執行機関は、市販ソフトに残った脆弱性を見つけて通信を傍受する手段を確保してきた。ところがAIが脆弱性の発見と修正を大量かつ高速にこなすようになれば、そうした穴が先に塞がれてしまい、捜査側から見て通信内容が完全に見えなくなる（go dark）状態が現実味を帯びる。セキュリティが上がること自体は歓迎すべきだが、その反作用として各国政府が暗号への強制的な抜け穴（バックドア）を法律で求める圧力が一気に高まりかねない、という指摘だ。同じ日にGLM-5.3のような脆弱性発見に強いモデルが登場していることを考えると、絵空事とは言いにくい。
What we know about the alleged Iranian hacks on US water utilities
7月末から米国の水道事業者が相次いでサイバー攻撃を受けており、イランが関与したとみられている件の整理記事。7月28日にミネソタ州で30以上の自治体の浄水場が同時に攻撃されたと発表され、その2日後にはFBIが「少なくとも7州」の水道・下水事業者で被害があり、一部では実際に浄水の運転に支障が出たと明らかにした。被害はおよそ12州に及んでいる。米国には15万を超える水道システムがあり、多くは地元の小さな事業者が運営しているため、本来なら同時多発的に狙うのは難しいはずだ。裏を返せば、それぞれがセキュリティに割ける人手も予算も乏しいということでもある。イラン系の攻撃者はこれまで「守りの薄いところを機会があれば突く」散発的な動きと見られてきたため、今回の広がりは明確な段階の引き上げだと専門家は受け止めている。
Talks to sell PayPal to Stripe and Advent are heating up
決済大手 PayPal の売却交渉が再び熱を帯びているとウォール・ストリート・ジャーナルが報じた。7月に Stripe と投資ファンドの Advent が1株60.50ドル、総額530億ドルでの買収を提案し、PayPal はいったん断ったものの交渉自体は続いており、数週間のうちにまとまる可能性があるという。3月に日本HP出身の Enrique Lores 氏がCEOに就任し、事業を「決済とPayPal」「消費者向け金融サービスとVenmo」「決済サービスと暗号資産」の3つに分ける再編を進めてきたが、その立て直し策の中に会社ごとの売却も含まれうる状況になった。コスト削減として今後2〜3年で人員の20%削減も予定されている。1998年にピーター・ティール氏やイーロン・マスク氏らが創業し、コロナ禍で急拡大した会社が、競合の台頭に押されて売却の議論に至った形だ。