0901 | GoogleがMV2拡張をChrome Web Storeから削除（uBO含む）、Snapchat逮捕、Claude Code Opus5、AIに安全な仕事は執筆

葵: こんにちは、葵です。Bri Radio の《HackerNews Daily》をお届けします。今日も始めましょう。まずは Chrome ウェブストアから、広告ブロッカーとして有名な uBlock Origin を含む、Manifest V2 の拡張機能が一斉に削除された話題から。続いて、プライベートな Snapchat のメッセージが原因で逮捕された教育実習生のニュース、そして AI の自動操縦モードを持った Claude Code の新バージョンの速報も入っています。

悠真: 悠真です。さらに、AI 時代に最も安全かもしれない仕事として「書くこと」を扱った話題や、AI エージェントの記憶をファイル形式として捉える考え方、そして SK ハイニックスの CEO がメモリチップの不足が 2030 年まで続くと見ている話も紹介します。

葵: その他にも、Apple が Mac Mini と Mac Studio への AI 需要に驚かされた話、ある CVE をめぐる論争、C++ の標準ライブラリを強化する実験、そして Darwin と FreeBSD をベースにした新しいオープンソース OS、ravynOS の話題まで取り上げます。それでは本編へ。

葵: グーグルがクロームウェブストアから、MV2、つまりマニフェストバージョン2の拡張機能を削除し始めました。その対象にはｕＢｌｏｃｋ Ｏｒｉｇｉｎ、広告ブロッカー、も含まれています。これを受けてハッカーニュースには一つの提案が並びました。フォックス、ファイアフォックスに乗り換えろ、というものです。

悠真: そしてそこにさらに踏み込んだ返信もあって、グーグルだけじゃなくて、アマゾン、オープンエーアイ、アンソロピック、マイクロソフト、オラクルといった、いわば“嫌な企業”の製品を避けるべきだ、という意見まで出ていました。

葵: この議論自体は、ブラウザ選びのような実用的な話から、大手テック企業全般への不信感まで、幅広い反応を集めているようですね。ただ、ここまでのところ削除への対抗策としては、この会話で具体的に示されているのはファイアフォックスへの移行という選択肢だけです。

悠真: 今度は別の話です。ある学生の先生が、プライベートなスナップチャットのメッセージをきっかけに逮捕されました。この事案に対するハッカーニュースの反応はかなり強くて、あるコメント投稿者は、これで即アンインストールだ、と書いていました。

葵: それに対して別の投稿者は、申し訳ないけれど現実を言うよ、という書き出しで反論していました。残念ながら、この議論の続き、つまりその反論が具体的に何を指摘していたのか、という部分までは把握できていません。

悠真: ただ確認できているのは、同じコメント内で、これはチャットコントロールのおかげで、欧州版が登場するのを楽しみにしている、という皮肉っぽい締めくくりがあることですね。EUのチャットコントロール構想を引き合いに出しながら、こうした監視の拡大を懸念する声です。

葵: 続いては、アンソロピックのコード生成ツール、クロードコーデの話です。オーパス5のオートモードを破る、つまり突破する手法が公開されています。これについてハッカーニュースのコメント投稿者は、こういう話が実際の現場でもっと出てこないのがむしろ意外だ、かなり気がかりだ、と書いていました。

悠真: それに対する返答は、もしかすると実際には使われているけれど、私たちが知らないだけかもしれない、というものでした。つまり、攻撃が表面化していないだけで、この種の回避はすでに実戦で起きている可能性がある、という見方です。

葵: このやり取りは、こうした自動モードの突破手法が、見つかっていないだけであって存在しないわけではない、という不確かさを浮き彫りにしていますね。少なくともこの会話からわかるのは、公開された破り方に対して、実害がまだ広がっていないかどうかは誰にも確認できない、という点です。

悠真: 「AIから最も安全な仕事は文章を書くことかもしれない」という論考に対し、Hacker Newsでは「ありふれたコピーライティングは死んだ」との反応がありました。作る側の意見では、この仕事は以前から衰えつつあったものの、今では完全に打ちのめされたと表現されています。一方、論考は名声や評価を争う文学的な文章をゼロサムゲームと位置づけ、だからこそ永遠に残ると主張します。ちょうど株のトレーディングが、企業設立や事業構築ではなく売買そのものがゼロサムだから、LLMの実際の成功が誰にも利益をもたらしていないのと同じ理屈だというわけです。

葵: つまり文章の仕事をひとくくりに見るのではなく、種類で分けているのがポイントですね。大量生産される日常のコピーはAIに取って代わられ、逆に人同士が競い合う評価の場は、競争構造そのものが変わらないから価値が残る。ただこの反応はあくまでコメント主の見立てで、実際に文学的な文章の市場がどう動くかはまだ誰にも確かめられていません。

悠真: 「Agent Memory as a File Format」、エージェントの記憶をファイル形式として捉えるという論考に対し、Hacker Newsの反応は歯に衣着せぬものでした。最上位のコメントは「これだけ長い文章を書いて、要するに『マークダウンだ』と言っているだけだ」と切り捨て、さらにその下のコメントも「要するに『ただのテキストを使え』と言っているだけだ」と続きました。

葵: 批判はさらに踏み込んで、こうした議論を受け「AIの『進歩』の半分は、同じことを別の言い方で言い直しているだけじゃないか」という感想が寄せられています。記憶形式という新しい枠組みの話が、実は既存の技術への言い換えに過ぎないという疑いであり、専門家の間でこの提案がどれほど目新しさを認められていないかが見えてきます。

悠真: 「SK HynixのCEOはメモリーチップの供給不足が2030年まで続く」と見ているという報道が取り上げられました。ところがコメントでは真っ先に「予測も情報も分析もない」と指摘されています。その理由は明確で、こう語る当事者には需要が長く続くことに直接の利害があるからです。そして注目すべきは、その本人が需要は2030年を過ぎても続くと言っている点。つまり長期化という見通しそのものが、発言者の立場を割り引いて聞くべきものだという読み方が示されました。

葵: AppleがAI向けのMac MiniとMac Studioの需要に驚かされた、という話です。Hacker Newsで話題になった記事によりますと、予期しない需要の高まりがあったようです。

葵: このニュースへのコメントでおもしろいのが、あるユーザーが「そろそろXserveを復活させたらどうか」と言っていることです。かつてAppleがサーバー向けに出していたマシンを復活させるべきだ、という皮肉交じりの提案ですね。

葵: ただ、別のユーザーは「価格がそんなに上がってしまったのは残念だ」と指摘しています。需要が高まる中で価格が上がっているという受け止めがあるようです。

葵: さらに別のコメントでは「仕方なかったのだろう」という推測も出ています。価格や供給の面でAppleに打つ手がなかった可能性を示唆する意見です。ただ、この需要急増の具体的な背景や規模までは、この議論からははっきりしません。

葵: 次に、CVEを巡る紛争の話題です。これはcurlの作者であるDaniel Stenbergさんのブログ記事が元になっていて、Hacker Newsで盛り上がりました。

葵: あるコメントは「本物のハッカーになるまでCVEを1つ持っていないというのは冗談だ」といった話への言及です。そして、CVEを持つことが一種の強制的な社会的証明、つまり一種の信用の証明になっている、という指摘があります。

葵: 別のコメントは「現在のインセンティブ構造が本当に良くない」と述べています。伝統的に、自分の名前が履歴書に載るという面があったわけですが、そのあたりの誘因の歪みを指摘する意見です。

葵: つまり、CVEを報告することが評価や実績として扱われるあまり、それが歪んだ動機を生んでいる、という議論ですね。この紛争の具体的な経緯や当事者については、この議論だけからは判断できませんが、CVEの価値をめぐる意見の対立が浮き彫りになっています。

葵: C++の話題に移ります。C++26で「hardening」という言葉が非常に人気になっているという記事が元になっています。その意味と具体例を探りつつ、hardened libraryがC++を本当に完全に安全にできるのか、という問いを立てています。

葵: 記事が挙げている例がstd::vectorです。角括弧によるoperator[] は範囲外アクセスで未定義動作を起こし得るのに対し、.at()はstd::out_of_rangeを投げてwell-definedな動作になる、という違いがあります。C++26ではhardened implementationの概念が導入され、標準ライブラリの実装がhardenedであるかどうか、そしてその有効化方法は実装定義となります。

葵: 重要なのは、hardeningはoperator[]を.at()に変えることではありません。プログラミングエラーを検出して、メモリ安全でない未定義動作の代わりに終了させる、という仕組みです。C++26より前はposがsizeより小さくない場合の挙動は未定義でしたが、C++26以降は、実装がhardenedならcontract violationが発生し、そうでなければ未定義動作のままです。

悠真: このhardeningはC++26で承認されたContractsの枠組みで表現されるわけですね。通常のC++26 Contractsはignore、observe、enforce、quick-enforceの意味論を使えますが、hardenedな標準ライブラリの事前条件は終了を伴う意味論に制限され、失敗したチェックの後に実行を継続できない。モードの切り替え方法は実装依存とされています。

悠真: Hacker Newsの議論では、「30年遅いがありがたく受け取る。Contractsは例外より便利で散らかっていないように見える」という意見に対して、「両者はまったく別の問題を解決している」と反論するコメントが出ています。別のコメントは、伝統的な例外では呼び出し側が処理するかバブルアップさせるかを選べるのに対し、Contractsでは事前条件を書いてquick enforceなら即終了、enforceならグローバルなcontract handlerに報告してから終了、observeなら報告するが終了しない、ignoreなら完全に無視する、と説明し、両者はそれほど違わないとしています。

悠真: そのうえでContractsは意味の発見可能性がわずかに優れている、と述べています。契約違反のコードに黄色い波線を出すツールは想像できるけれど、例外の送出をそうやって検査するのは現実的ではない、という論点です。

悠真: また、別のコメンターはコンパイル時契約アサーションがもっと一般的になってほしいと述べています。SPARKやDafnyなど一部の言語はゼロ除算などに対して暗黙の契約を生成するとし、自分は言語を試作していて、毎日の仕事でC++に戻ると少し落胆すると語っています。これに対して、組込み分野ではコンパイル時契約やコンパイル時抽象基底クラスがあれば仮想関数のコンパイル時解決が可能になり、64キロバイト未満のメモリ空間でC++が魅力的になる、という意見が出ました。

悠真: ただ、GCCは既に場合によってはリンク時デバーチャライゼーションができるという指摘もありますし、静的ポリモーフィズム自体は1995年からCRTPとして周知の存在だという反論もあります。C++23の「deducing this」がその現代的な代替として、コンパイル時間の改善と冗長なエラー除去を意図している、という指摘まで出ていますね。このContractsの話題は、コンパイラ診断の面にも議論が広がるようです。

葵: ravynOSという、DarwinとFreeBSD、そしてAppleが公開したオープンソースを基盤にしたプリアルファ段階のオープンソースOSが話題になっています。Hacker Newsの投稿で、実際にそれが何を目指しているのか、という疑問が投げかけられていました。

葵: 議論の中で指摘されていたのは、MacのGUIはクローズドソースなので、Appleの弁護士に訴えられずにそれを再現するのは難しい、という点です。少なくとも差し止め通知くらいは覚悟する必要がある、と。それにmacOSは今やARM専用になっていますから、Appleのハードウェアを買えば本物のOSを使える。それならわざわざ未完成のOSを動かす必要があるのか、という問いです。

悠真: ふむつまり、このOSが持つ意義そのものへの疑問が、コメント欄で真正面から突きつけられているわけですね。プリアルファという段階で、まだ実用に耐える状態ではないことも踏まえると、その問いかけは核心を突いているように思えます。

葵: 今日は、ChromeウェブストアからuBlock Originを含むManifest V2拡張機能が全て削除された話と、学校に警察が来るまでになったスナップチャットの一件を振り返ってきました。

悠真: ええ、どちらの出来事も、日々の暮らしに思わぬ形で影響を及ぼすんですね。今日はどうもありがとうございました。

葵: こちらこそ、また次回お会いしましょう。