0813 | Tailscale traces database corruption to a 16-year-old SQLite WAL-reset bug

葵: みなさん、おはようございます。HackerNews Daily、司会の葵です。今日も気になる話題を、悠真さんと一緒に紹介していきます。

悠真: はい、悠真です。今日は、大手テック企業の話題から、AIモデルの新リリース、そしてプライバシーを巡るニュースまで、盛りだくさんです。

葵: ええ。例えば、インフラに長年潜んでいたバグの話や、ある企業の大型資金調達、最新のPixel Watch、それに次世代AIモデルの登場なんかも飛び込んできていますよ。

悠真: そのほかにも、AIがエンジニアの仕事に与える影響や、ナンバープレート監視のプライバシー問題など、考えさせられるテーマもそろっています。さあ、さっそく深掘りしていきましょう。

葵: Tailscaleが公式ブログで、SQLiteデータベースに16年前から存在したデータレース、いわゆるWAL-Resetバグが、自社で繰り返してきた障害の根本原因だったと説明しました。同社は2022年からSQLiteを主力データベースとして使い、各シャードに単一の書き込みプロセスを割り当てる構成でしたが、昨年8月にバックアップ読み取りパイプラインがエラーを報告し、整合性チェックで破損が確認されたといいます。根本原因が特定されるまでの6か月間に、データベース破損は19件発生しました。

悠真: そして興味深いのは、同じ日、Hacker NewsにAntithesisの投稿「the WALを壊す」という記事が上がったことです。作者のCarl Sverre氏は、SQLiteの修正版、バージョン3.51.3が直したこのバグを、事前にバグの存在を知らされないまま検出したと主張しています。ClaudeにSQLiteの旧バージョンをセットアップさせ、書き込みとチェックポイントを並行して走らせるだけの、いわば汎用のワークロードを実行したところ、1回目の実行で15分以内にバグを捉えた。修正版では同じ構成で問題なく通過したそうです。

葵: ただ、コメント欄では再現の評価をめぐる議論も起きました。grepc氏は「SQLiteチームが修正した後に再現しただけの広告では」と批判し、carlsverre氏はワークロードはバグ知識なしで書いた汎用のものだと反論。さらにreturningfory2氏は、バグがあると知っていたからこそその構成を選んだのでは、と指摘し、再現は素晴らしいが主張は過大ではないかと疑問を呈しました。

悠真: 一方、オープンソース資金提供の話題では、TailscaleがSQLiteのサポート契約を通じてVFS層の開発を支援した点が評価され、それがSQLiteの収益モデルだという説明も出ました。同社はあわせて、根本原因分析で自動因果分析が6か月の作業をどれだけ短縮できたかを示すフォローアップを約束し、「他にもいくつか見つけた」とほのめかしています。その結果にも注目したいところです。

葵: LovableがシリーズCで4億ドルを調達し、評価額は133億ドルに達しました。リードはMenlo Ventures、共同リードはEQTが運用するScaleup Europe Fundで、欧州やラテンアメリカ、アジア、米国から新規投資家も加わっています。既存投資家にはAccelやDST Global、Salesforce Venturesらが名を連ねています。

悠真: 同社は2024年11月のローンチ以降、6,000万以上のプロジェクトが作成され、Lovable製アプリは毎月9億回以上アクセスされていると説明。初年度にフォーチュン500の半数で使われ、その後1年足らずでおよそ3分の2へ広がったとしています。ユーザー調査では、およそ10人中8人が収益化を望むビジネスやサイドプロジェクトを構築中で、その3分の1超はすでに収益を得ているとのことです。

葵: シリーズB以降の新機能としては、決済機能やAI検索ツール、Google WorkspaceやSalesforce、Stripeとの統合、定期セキュリティスキャン、AIエージェント向けのセキュリティ認証などが挙げられています。企業事例では、英国のWNTDのチームが毎月2万5千から3万ポンドを節約し、数十万人の顧客を獲得して300万ポンドの調達を完了。米国Nursaは、週末だけで作った自社製ツールを200人以上の社員に展開し、コアプラットフォームを12倍速で再構築したといいます。

悠真: 一方Hacker Newsでは、コーディングAIツールの登場以前ならLovableは人気だったが、今は多くの人がそうしたツールへ移ったとの指摘もあり、「Lovableが今もサイトやアプリ立ち上げの最も簡単な方法か」という疑問も出ています。ただ、売上や利用実績、投資家層から見れば、この資金調達はローコードAI開発市場がなお拡大していることの表れとも言えるでしょう。

葵: GoogleがPixel Watch 5を発表しました。記事ではGeminiによる先回り支援と最も正確なGPSトラッキングを謳い、新機能のHealth Guardianには呼吸の緊急事態の検知や、血圧や睡眠、代謝ヘルスの月次のトレンド要約などが含まれています。睡眠関連では、睡眠段階検出の精度が15パーセント向上したほか、眠りに落ちたときにオーディオブックを自動停止する機能や、浅い眠りのタイミングで起こすスマートウェイクも紹介されています。予約は8月12日から、一般販売は8月20日からです。

悠真: ただHacker Newsで実際に盛り上がった論点は、30時間のバッテリー寿命でした。tuckwat氏は毎日充電したくないと述べ、自分はバッテリーが2週間持つGarminを使っていると語りました。一方etchalon氏は、開発作業のためにGarminからApple Watchへ移ったが、ほとんど気にならなかったと反論し、電話と時計とヘッドホンの充電が夜のチェックリストになると説明しています。

葵: 実体験も複数出ています。Pixel Watch 2のバッテリーが1日すら持たず二度と買わないと言う人、就寝中は睡眠トラッキングのために充電できないため、日中は時間確認できず自宅では付け忘れるという声。逆に、夜と朝の短時間充電で「死んだことはない」と言う人もいました。またOSがシンプルな端末ほど長持ちし、Wear OSやApple系は1日から2日がやっとだという総括もありました。

悠真: georgemcbay氏は、睡眠機能を大きく売りにしながら30時間しか持たないのはかなり笑えると指摘。hlynurd氏は「15パーセントより正確」という記述が何との比較なのか不明で、意味のある文に見えないと疑問視しました。一方でortusdux氏は、前世代でバッテリー交換を容易にした設計に触れ、第5世代への継承を期待しています。注目は、その交換機構が引き継がれるか、そして20日の一般販売開始です。

葵: 次は、WebSocket上でHTMLをやり取りして、ほとんどJavaScriptなしでリアルタイムなSPAを構築するというブログ記事の話題です。Hacker Newsでは賛否両論、どちらかというと否定的な反応が多く出ました。たとえば、これは風刺なのか釣りなのか、なぜそんなことをするのか、普通のウェブサイトを作ればいいはずだ、というコメントがあり、さらにそれは余計な手順を足しただけのMPAだ、と畳みかける返信も付いています。

悠真: つまり、リアルタイムSPAを目指すあまり、元々のシンプルな多ページ構成に複雑さを増しただけで、本質的には新しさがないという批判ですね。この種の技術提案は、技術的に可能かどうかではなく、それで解決する問題が実際にあるのか、既存の方法より本当に優れているのかが問われていて、この投稿はその点で厳しい見方をされたようです。

葵: まずは、AIエージェントと一緒にコードを書くための新しい環境の話です。コードエディターZedのチームが「Delta」というマルチプレイヤー環境を発表しました。AIエージェントと一緒にコードを書き、その成果物をレビューするための環境で、すでにプライベートベータへの招待が始まっています。

悠真: 面白いのは、これが既存のgitリポジトリでそのまま動くという点ですね。会話や作業のツリー構造をリアルタイムで同期しながら、コミットとコミットの間の編集や会話がすべて記録される。そして、Deltaを開いていないチームメイトから見れば、普通のgitリポジトリにしか見えないと。

葵: その設計が大きいですね。コメントは会話の中の好きなコード行に付けられますし、クラウドで実行するランナーなら、ラップトップの蓋を閉じていてもエージェントは動き続ける。共有リンクがあればブラウザから参加もできる。エージェントはClaude Codeを皮切りに、サードパーティ製のエージェントハーネスとも同期するそうです。

悠真: インフラの話も興味深くて、Delta.devは同じRust製アプリをWebAssemblyにコンパイルして、WebGLで描画しているといいます。そして差分は折りたたまず全文表示、会話はドキュメントとして扱って、どこにでもカーソルを置ける設計。ここからHacker Newsの議論は、コードのAI要約をどう評価するかに移っていきました。

葵: 反対意見の代表格が、AIによる要約が苦手という人です。コードは簡潔でもLLMの散文は冗長になりがちで、数行のコードを説明する段落を読むか、要約が重要なエッジケースを見落とすかの二択になると。「ああ、そうだね、XもYもやってる。最初の分析では見落としてた」みたいな言い回しが多すぎる、という指摘もありました。

悠真: 一方で肯定的な意見もあるんですよね。会社のメンバー同士で長いLLMのレスポンスを読む価値は明確でない、だからこそ出力の何が正しくて重要かを選別し、洗練された結果を渡すのが人間の価値だという主張。ほかにも、自分でプロンプトした大量のテキストは気にならないけど、ブログやプルリクエストにコピペされると腹が立つ、という意見の違いを指摘する人もいました。

葵: 効果的な使い方を報告する人もいます。問題と解決策の説明付きの小さなコードスニペットをプロンプトに含めるのがポイントで、機能拡張やバグ修正、新規コードのレビューに使っているとのこと。データベースのスキーマやAPI仕様、アルゴリズムの概要が要約にあると、大きな差分を迷わずに眺められて、おかしな選択もよく見つかる。自分で書いていないコードは理解しにくいからこそ、最後は要約の品質に議論が集中していました。

葵: 次は、x.aiが公開した新しいモデル、Grok 4.6の話です。8月12日付けで、Grok 4.5を土台に、長時間動き続けるエージェントと、より野心的なインタラクティブおよびビジュアル作業に焦点を当てたリリースとして発表されました。公開当日からCursorとGrok Buildで使えて、初週は両サービスで利用枠が2倍になるそうです。

悠真: 独立系の分析では、Artificial Analysisの指標で61点を獲得して、フロンティアに並んだとされています。GPT-5.6 Solの61点に並びつつ、Claude Opus 5の63点や、Claude Fable 5の62点に続く位置で、Kimi K3をわずかに上回りました。Grok 4.5比で5ポイント、Grok 4.3比では23ポイントの上昇で、1ヶ月余りでの改善です。

葵: エージェントとしての働きも評価されています。特定のベンチマークではClaude Opus 5に次ぐ2位のEloスコアを記録し、別のタスクでは50.7%の成功率で上位2位につけています。そして、このモデルの強みは価格にあるんです。

悠真: 価格設定はGrok 4.5から変わらず、入力100万トークンあたり2ドル、出力あたり6ドル。これをClaude Opus 5の5ドルと25ドル、GPT-5.6 Solの5ドルと30ドルと比べると、60%以上安いことになります。タスクあたりのコストで見ても0.84ドルで、同じく安価なKimi K3と並びながら、知能はわずかに高いとして、コスト対性能の面でフロンティア上にあると評価されています。

葵: 長期のエージェント作業ではどうですか。非公開のベンチマークでは、平均して約53ターン、入力トークンは約5億でタスクを完了したそうです。これに対してClaude Opus 5の最大構成は、平均約103ターン、入力トークン約20億。つまりGrokは、より少ない作業量で同程度の成果に達したという見方ですね。

悠真: 注意点もいくつかあります。コンテキストウィンドウは50万トークンのままで、キャッシュヒット時の価格はGrok 4.5の0.3ドルから0.5ドルに上がっています。そして、同じベンチマークでもバージョンによって数字がかなり違って見えることがあって、例えば某ベンチマークではArtificial Analysisが88.4%、x.aiの表では26%という数字が併存しています。バージョンが違うので、比較するときは注意が必要ということですね。

葵: 続いて、DeepSeekの新しいモデルです。DeepSeek V4 Pro 0813というモデルが、8月12日付けで公開されました。これは大規模なmixture-of-experts構成のモデルで、V4 Proの正式リリース版にあたります。Hacker Newsの投稿はOpenRouterのモデルページへのリンクで、現時点ではホストが1プロバイダのみで、OpenRouterはリクエストを直接転送する形です。

悠真: 価格は入力100万トークンあたり約0.44ドル、出力あたり0.87ドル。コンテキストウィンドウは約100万トークンで、最大出力は38万4000トークンです。Hacker Newsの議論では、まずこの価格の安さに注目が集まりました。あるユーザーは、Opus 4.8と競合する一方で、SolやFableよりは弱いけれど、その代わり約20倍安いと指摘しています。

葵: ただ、そこに反論があって、トークンあたりの価格ではなく、タスクあたりの価格で見るべきだという意見があります。実務面の報告もあって、あるユーザーはコードレビューなどで使ってみて、タスクあたりのコストではかなり良いと話しています。対照的に、Flashというモデルは最初の誤りが多く、正解に達するまで「ちょっと待って、確認し直す」といった自己修正を繰り返すので、出力量がDeepSeek V4 Proの約5倍になることもあるそうです。

悠真: もう一つの論点が、キャッシュの経済性です。公開データを使った試算では、DeepSeek V4 Proはリクエストあたり約0.0009ドル、同等のOpusはキャッシュ書き込みコストを除いて0.052ドル、つまり約60倍の差があるという計算もあります。ただし、これはキャッシュ読み込み割引の前提によって大きく変わります。あるユーザーは、もし自分の通信量をSolで賄ったら月に4000ドルから8000ドル相当になる、と記録しています。

葵: 視点の違う意見もありました。ChatGPTの月額200ドルのサブスクリプションで、実効APIコストとして1万6000ドル相当が得られるなら、補助金付きのサブスクこそが価格・知能の両方で他を圧倒するのではないか、という疑問です。一方で、DeepSeek V4 Proは自宅やレンタルのGPUでも実行できるけれど、SolやFableではそれができない、という点も指摘されています。結局のところ、タスクあたりの実コストがいくらなのか、キャッシュ割引の前提が妥当なのか、サブスクとAPI課金をどう比べるのかという論点は、まだ決着のつかないままでした。

葵: 最後は、ドイツのデジタル権利団体HateAidが、MetaのAIグラスをめぐって刑事告訴を提出した話です。対象は特にRay-Ban MetaのWayfarerモデルで、Metaの経営陣、眼鏡大手EssilorLuxotticaの子会社、そしてFielmannやApollo-Optik、Mister Spex、MediaMarktといった小売り企業まで含まれています。告訴はフランクフルトのデジタル犯罪捜査部門ZITに届けられました。

悠真: 根拠となっているのは、人に気づかれずに撮影するよう設計された通信機器の販売を禁じるドイツ連邦のデジタルデータ保護法です。HateAidのマネジングディレクターは、スマートグラスから逃げ場はない、いつ撮影され、インターネットにさらされるかを予期しなければならないと述べています。ZITは告訴の受理を確認し、より深い捜査に値するかの予備的調査を日常的に行うと説明しました。

葵: Hacker Newsの議論でも、この法律の核心は、録画機器がそれとわかる形で可視化されなければならない点だと指摘されています。つまり、この特定モデルが普通のサングラスと区別できず、周りの人が見分けられないことに告訴の実質がある、というわけです。実際に、同意なく録画されたと気づいた女性がTikTokに載ったという報道を挙げるコメントもありました。

悠真: 撮影中を示すランプや音を付ければいいのでは、という提案も出ましたが、ランプは周囲の照明次第で見えないことがあるという反論や、録画中ずっと鳴るフィルムが回る音のような案もありました。ただ、あるユーザーはもっと根本的な問題を指摘しています。録画していなくても、視界に入るもののデータはMetaに送信され続ける。かつてMetaの製品とは関わらない選択をしたのに、今は選択肢を奪われたという不満です。

葵: そして、ヨーロッパのプライバシー規則に照らしても、監視エリアに入る前におおよそ目の高さで警告表示を置くことや、監視の範囲と状況を曖昧でなくすることが求められる、という指摘もありました。家庭内や報道目的の例外があるからこそ、明確な告知がどうあるべきかの参考になるとのことです。デジタル通信規制当局が市場を注視しているというのが、この記事の結びでした。

葵: 広告ブロッカー「uBlock Origin」が、Facebook の広告ブロックを巡る戦いを諦めるという話題です。技術の行方や、Apple の役割、広告規制の実効性をめぐって、コメント欄では熱い議論が交わされました。

悠真: まず、なぜ諦めることになったのか。コメントの中では、広告ブロックと広告配信の終わりなきイタチごっこが背景にあるとされています。あるコメンテーターは、AI がリアルタイムで画像処理できるほど速くなれば、Apple を含む誰でも、広告をすべてマスクするブラウザのレンダリングエンジンを出せると予想しました。数年のうちに、ブラウザ上の広告ビジネスは終わりを迎えるかもしれないという見立てです。別のユーザーは、それこそスマート AI の最も心を沸かせる使い道だと賛同しました。

葵: でも、そこに「素朴だ」と反論する声もありました。むしろ逆に、AI が広告をサイトに追加したり置き換えたりして、除去できなくするシナリオが有力だというんです。そして、安全なブラウジング体験を確保するという名目で、ブラウザ上で自分で AI を実行することが禁止されるだろう、という警告までありました。

悠真: さらに、AI 時代の主役として挙がる Apple に期待する前提そのものにも疑問が出ています。Safari にはそもそも内蔵のアドブロッカーすらないのだから、Apple が先頭に立つとは思えないという指摘。それに、Google との高収益な検索エンジン契約とも両立しないだろうという話もありました。Apple は監視エコシステムに薄い間接層を足しただけなのに、クリーンな評判がついているのは驚きだという声や、Apple 自身もますます多くのサーフェスで広告を売っているという指摘も出ています。

葵: 広告規制の実効性も論点になりました。人間が広告かどうか見分けられることはほぼ普遍的な法的要件であり、それを妨害すれば窮地に立たされるという主張がある一方で、執行の実態を疑問視する声も強く、Reddit のレビューボットやプロモボットの現状、従来メディアも口先だけではないかという批判が出ていました。アメリカには広告に対する法的制限がほとんどないという印象だ、という異なる見方もありました。

悠真: 最後に、Safari とアドブロッカーの実情について。Safari は最初にアドブロッカーを殺したと評する声があった一方で、Safari ではアドブロッカーは普通に動き、以前ほどの柔軟性はないが殺されてはいないという反論もありました。人々が好きなものを作り続ける限り、その評判は続いていくという話です。この流れの中で、あるコメンテーターは、今後リリースが予定されているオープンソースブラウザ Ladybird がますます楽しみになったと語っていました。

葵: 次は、日本語のオープンモデルとして話題の Qwen から、大きな新リリースが出ました。Hugging Face に公開された Qwen3.8 です。モデルカードによると、これは Qwen のオープンモデル史上初めて、最高峰クラスといわれる Qwen-Max クラスが公開されたものになります。コーディングや専門業務、研究、長時間かかるエージェントタスクで性能が向上しているということです。

悠真: 規模の話をすると、パラメータの総数は 2.4 兆、一度に活性化されるのは 950 億。つまり、巨大なモデルの中でも必要に応じて一部だけを使う、専門家混合の構成になっています。ただ、その実体は約 5 テラバイトのモデルだという指摘もあり、あるコメンテーターは、カードの宣伝文句が良すぎて信じられないくらいに見えると懐疑的でした。実際、損失なく動かすと 4.9 テラバイトほどになるという報告もあります。一方で、1 ビットに圧縮すれば約 400 ギガバイトまで小さくなるという話もあり、モデルによっては家庭の大きなパソコンでも自分で試せるという現実が見えてきます。

葵: ここで議論になったのが、圧縮版とフルモデルの比較です。1 ビットに圧縮したものをフルモデルと比べるのはミスリーディングだという批判がありました。大きなメモリを積んだ Mac なら家庭でもいじれるが、高性能なミニPC を 4 台使っても、その 1 ビット版を動かすのは難しく、自分のハードウェアに合ったサイズのモデルを使うべきだという主張です。これに対して、巨大な 1 ビットモデルは通常、損失なしの版との乖離が数十パーセント以内に収まり、モデルの構造自体に情報が符号化されているため、圧縮による損失が緩和されるという反論も出ました。

悠真: また、このモデルが他社の最高峰モデルのどれくらいに相当するかでも意見が割れました。あるコメンテーターは、別の高速モデルでも既に最高峰クラスに届いていると主張しつつも、実際に使ってみた別の人は、知能の面ではまだそれほどに達していないと反論しています。ハードウェアの制約も話題になりました。ある高性能なグラフィックスカードは、別のモデルとは違い、複数枚を高速で連結する規格に対応しておらず、PCIe バス経由だと同期のコストが約 7 倍になるとの警告もありました。

葵: そして、次の注目ポイントとして挙がっているのが制約です。このオープンソース版は、視覚入力の能力が削除され、一度に扱える文脈の長さも、ハイエンド版の 100 万トークンではなく、より短い 25 万トークンに制限されているということです。公式の最高級版は、このモデルを土台にして、視覚入力や、思考しないモード、既定で 100 万トークンの文脈、公式ツールなどを追加したものだそうです。本格的な性能を試したい層と、自分の手元で動かしたい層とで、注目すべきポイントが分かれる形になりそうです。

葵: 続いては、AI ボットを装った大量の脆弱性スキャンの話題です。あるユーザーが、ここ一週間、多くのサイトで、AI ボットを装った不正なユーザーエージェントによるアクセスが急増していると報告しました。実際には、IP 検証やボット認証の仕組みを通過できない、偽装されたものだということです。

悠真: 背景にあるのは、AI ボットのトラフィックが急増しているという統計です。5 千以上のサイトを対象にした調査では、ボット対人間のトラフィックの割合が 3 割を超え、そのうち AI 関連のボットが占める割合は、90 日間で 11% 増えて 28% に達したとされています。主要な訪問者の中では、検索エンジンのクローラーが約 2 割、ウェブサイトの指標を集める SEO クローラーが約 2 割、AI 検索のクローラーが 1 割以上という内訳でした。一方で、AI チャット経由で人間がサイトを訪れる割合はまだ 0.1% とごくわずかで、しかも 9% 減っています。

葵: では、こうした偽ボットをどう見分けるか。あるコメンテーターは、挙げられているユーザーエージェントの多くは偽装されると指摘します。IP アドレスの所有者を確認できるデータベースで調べ、主要な VPS、つまり仮想サーバープロバイダーをブロックすれば、偽ボットの大半は消えるというのです。ただし、住宅用の回線や乗っ取られた携帯端末から動く例もあるので、リンク先のソースコードを鵜呑みにせず、実際に動いているコードを逆コンパイルして AI 使って解析すべきだという話もありました。新しく公開された脆弱性を探している可能性もあるが、どのような URL をリクエストしてきているかの集計が必要だという指摘も出ています。

悠真: ただ、発信元の IP の帰属そのものが不安定だという警告もあります。国をまたぐ光ファイバー回線は傍受され、任意の発信元 IP を注入できるため、中国やロシアといった帰属の判定は脆い土台の上に立っているというのです。これに対して、国を繋ぐ回線は複数あり、出入り口の両方を制御しない限り、探査パケットが発信国に戻ってくる痕跡が残るという反論もありました。

葵: 対策の面では、サーバーで仮想プロバイダーからのリクエストを止める方法が紹介されました。ただし、正規のユーザーも仮想サーバーを使っているため、単純にはできません。有料の IP 帰属データベースを使えば拒否できるが、年間およそ 4 万ドルと高価だという説明もありました。ある開発者は、自作のオープンソースのハニーポット、つまり罠を張って攻撃を記録する仕組みが、ボットネットのスキャンを収集し、ブロックリストを公開していると紹介しました。その一方で、データセンターを塞いでも、悪用者は住宅用プロキシに移るだけで、単にコストが高いから避けているだけだという冷静な指摘もありました。サイトをスクレイピングするプロジェクトが巻き添えで壊れてしまうという懸念も出ています。

悠真: それでも、現実的な着地点はありそうです。小規模な事業者なら、年間 2 千ドル程度のデータベースを使い、AI と IP 帰属の分類システムを自作したという報告もありました。完全に防ぐのは難しく、正規ユーザーへの巻き添えとのバランスが続く、というのが現状のまとめになりそうです。

葵: 最後は、少ししんみりする話題です。Amiga という 1980 年代のパーソナルコンピュータの中核ソフトウェアである AmigaDOS を開発した、ティム・キング博士が、7 月末に亡くなりました。家族が問い合わせに対して確認したとのことで、訃報は彼の名義で報じられています。

悠真: キング博士は、ケンブリッジ大学で計算機科学を学び、1979 年に博士号を取得しました。在学中に開発したのが Tripos という、複数のプログラムを同時に動かせるオペレーティングシステムです。1984 年にメタコムコという会社に入社して、この Tripos を Amiga 向けに発展させ、AmigaDOS として新コンピュータの OS に統合しました。その後、1986 年には自ら会社を立ち上げ、OS や並列処理、そしてトランスピュータという当時の革新的なプロセッサ技術などを手がけました。さらに後には、インターネット接続サービスを提供する企業も創業しています。Amiga のソフトウェア史の重要な一章を築いた功績です。

葵: Hacker News のコメント欄は、個人的な追悼や体験談で埋め尽くされました。あるユーザーは、今日までこの名前を知らなかったが、DOS ユーザーではなかった自分にとって、AmigaDOS がコマンドラインインターフェースへの入り口であり、数年後に Linux のコマンドラインを学ぶ土台になったと感謝を述べました。Amiga を通じて本物のコンピュータに出会い、AmigaDOS のおかげで本格的な C 言語のプログラムを開発できたという声もあります。初めて使った本物のコマンドラインを備えた OS であり、そこで C を学んだという体験談も複数ありました。

悠真: 当時の熱気を伝えるエピソードもあります。あるユーザーは、Amiga 1000 で C を学ぶために、1985 から 86 年にかけて、コンパイラとマニュアル一式に 300 ドルを工面したと振り返り、いまや遥かに優れたツールが無料で手に入るのは感慨深いと語りました。また、Amiga は優れたビデオ性能を実現できた、その理由の一部が OS にあったという指摘もあります。キング博士に何度か会ったことがあり、自身の会社と彼の会社がいくつかのプロジェクトで提携したという人もいました。あるユーザーは、1985 年に自宅で Amiga を欲しがっていた記憶と、数年後に読んだ『ハッカーズ』という本で運命が決まったと振り返っています。

葵: 亡くなった本人とは直接関係ないかもしれませんが、この訃報を受けて、あるユーザーは「RIP」や「安らかに」といった哀悼の言葉を寄せています。1980 年代のパーソナルコンピュータの黎明期を支えた一人の開発者の死が、これほど多くの人の記憶と体験を呼び起こしたということは、彼が築いたものがそれだけ深く根付いていた証拠でしょう。

葵: まずは、数学者ティモシー・ガワーズ氏のブログ投稿が話題になっています。OpenAIが数学と理論計算機科学の主要問題10問を解いたと発表した直後に書かれたもので、その中には非ソフィック群の最初の構成と、k個の3からなる多重色ラムゼー数がkに関して超指数的に増えることの証明が含まれています。

悠真: ガワーズ氏は、前者を群論で最も重要な未解決問題の一つ、後者は自分の生涯で解かれるとは思っていなかったラムゼー理論の主要未解決問題だと評していますね。結果は異常に印象的だと言いながらも、LLMが数学の全側面で全人類より優れているわけではないと留保しています。もし優れているなら、速度面の利点で結果の洪水が起きるはずだ、と。

葵: 興味深いのは、LLMが反例だけでなく難解な命題の証明も見つけられる一方で、最も有名な解決済み問題のほとんどは反例によるものだという指摘です。ヤコビアン予想や単位距離予想も含まれています。反例が得意という理論を確立するには、何が反例の発見に当たるかを決め、そしてなぜLLMがその種の問題に適しているのかの説明が必要だと論じています。

悠真: コメントでは、あるユーザーが実際の仕事で高度なモデルを試したところ、データは取得したもののフリーランスではなく正社員を、指定国ではなくエージェンシー所在国の求人を返したと報告し、「知能と呼べるものは示されていない」と述べています。これを巡って議論が分かれました。プロンプトが曖昧に解釈できたとする意見もあれば、LLMには地理の感覚がないと断じる声もありました。

葵: 別のユーザーは同じタスクが別のモデルでは問題なく動いたと報告しています。そして、数学については多くの数学者の作業が同じ組合せ的・抽象化パターンの探索だったとして、LLMが多くの数学領域で圧倒すると確信しつつも、重要箇所には知能と呼べるものは存在しないと主張しています。

悠真: ガワーズ氏自身の結びの注記も全文引用されていました。LLMが人間レベルのより広い問題クラスに到達した良い兆候は、新しく驚きでありながら、後から見れば美しく自然に思える方法で定理を証明し始めたときで、それらは偶然には stumble しにくい方法でもあるべきだ、と。何がそのような証明に当たるかは難しいけれど、見れば分かるだろう、という内容です。

葵: 次は、自動ナンバープレート読取機の話題です。犯罪分析の専門家で元犯罪アナリストのアンドリュー・ウィーラー氏が、ナンバープレート読取機による履歴の検索には令状を要求すべきだと論じています。ポイントは、機器の存在そのものではなく、過去のデータを遡って検索する行為が違法な捜索に当たるかどうかです。

悠真: ウィーラー氏は実際に裁判に関与していました。ヴァージニア州ノーフォークの事件で、この履歴検索が違法かどうかが争われましたが、裁判所は原告の主張を退けました。判決は、ALPRによる監視はいつかは憲法上のプライバシー基準に抵触しうるが、少なくともノーフォークでは答えは「今日ではない」と述べています。ウィーラー氏は問題は「もし」ではなく「いつ」だとしています。

葵: 彼は過去の判例を根拠に挙げています。携帯基地局情報に令状を要求した判例、ジオフェンス令状に関する判決、ドローンによる過去の航空画像検索の事例です。これらと同じ論理で、全市にカメラが行き渡ればナンバープレートの履歴検索も同じ扱いになるはずだ、と。そして、盗難車の能動的なフラグ付けのようなリアルタイムの対応と、過去30日間の位置を遡る履歴検索は区別されるべきで、履歴検索への令状要求は警察捜査を深刻には妨げないと主張しています。

悠真: ただ、データを保持しない現状は非常に悪い、濫用防止基準は笑止だとし、州法による令状手続きの義務化を提案しています。一方で、犯罪抑止効果のエビデンスは今のところぱっとしないとも認めていて、このあたりの率直さは信頼できますね。

葵: コメントでは、そもそもの呼称への反発がありました。「ライセンスプレートリーダー」と呼ぶのは不十分で、実態は汎用のインターネット接続カメラであり、ファームウェア次第で何にでもなり、アクセス権があればいつでも再プログラム可能だという指摘です。ドアベルカメラが後に集団監視ネットワークに参加した前例も挙げられています。一方で、言葉遣いを巡っては、言語と法廷用語が技術に追いついていないだけで悪意はないという擁護もあれば、警察に都合のいい枠組みだという反論もありました。

悠真: そして、この言葉選びは国民を無力化するためのメッセージングだという意見もありました。「ライセンスプレートリーダー」は「監視装置」より不安を煽らない、と。また、スマートフォンの方がポールカメラより強力な監視装置なのに誰も行動を変えない、という懐疑的な声もありました。いずれにせよ、こういった技術はリモートで管理でき、現場でアップグレードでき、複数が相互接続されたコンピューティングデバイスだという現実を踏まえると、プライバシーへの影響は想像以上に大きいかもしれません。

葵: 次は、ソフトウェアエンジニアリングをめぐる議論です。ブロガーのフローリアン・ヘレングト氏が、AIはエンジニアリング文化の弱いプロジェクトをより速く失敗させる、と論じています。エンジニアリングとは無関係のAI生成のコードを日曜日に大量に作る、というのが2026年の姿だというんです。旧来のやり方との対比が鮮烈です。

悠真: 2020年には、休暇から戻った最年長のエンジニアが混乱したコードベースを目の当たりにするのが典型でした。一方2026年の月曜朝には、7件のプルリクエストがあって、最初のものがプラス24506行、マイナス3938行という規模で、AI生成の説明文も付いている。チームは金曜以来、以前なら数週間かかった量の変更を生み出している。要するに、AIが速度制限を取り払ったと表現しています。

葵: そこで問題になるのが、この「速さ」が本当に良いことなのかです。コメントでは、以前は人が座ってやり方を話し合ったけれど、今はエージェントに数時間プロンプトしてプルリクエストを開く。訓練されていない目には機能して見えるため、誰も仕組みを理解できない地点まで進み続ける、という指摘がありました。これは「より速く失敗」の逆では、という問いかけですね。初期のハードルで諦めていた人を深みにはめ、プロンプトで抜け出せるとの偽りの希望でスパゲッティをさらに深くする、と。

悠真: 著者自身も、動きが速すぎて誰も被害が積み重なる前に止める現実的な機会がない、より深い混乱にはるかに速く到達すると認めています。データの出所を尋ねられた作成者が「Claudeに聞いてみよう」と答えて会話リンクを送る場面や、4回目のバグ修正をAIに頼んで翌日に回す場面も描かれます。

葵: この議論から派生したのが、OracleがAIコードを禁止したという記事の話題です。あるユーザーは短期的な利益は長期的な痛みの処方箋だとし、AIファンボーイの言うことより行動を見よと。ただし、Oracleの禁止は著作権が理由で、モデルの実際の出力の評価とは解釈できないという反論もあります。さらにこの方針には、レビュアーの負担、JDK依存の安定性、そしてAI生成提出物の著作権と知的財産が未解決、という三つの理由が挙げられていました。

悠真: 同じOracle内でも、GraalVMの方はLinuxカーネルの方針に近く、AI提出は許されるが人間の提出者が責任を負うとされています。つまり、AIコードそのものを全面禁止しているわけではないわけです。別のユーザーは、小規模スタートアップがコード生成でより速く市場に到達して市場適合を見つけたら、それは長期的な痛みなのかと問いかけています。著者は、負債は負債で、トレードオフを理解し明確な返済計画があれば、意図的な負債は問題ないと答えています。誰もが1日で以前の1年分のコードを生める時代に、責任の取り方が問われていると言えるでしょう。

葵: 最後は、メタの収益化プログラムの話です。オーストラリアの報道によると、物議を醸すタイプのクリエイターが、メタが運営する収益化プログラムから利益を得ているという問題が取り上げられています。

悠真: コメントでは特に選挙前の時期に注目が集まっていました。あるユーザーは、選挙の前には、戦略的に攻撃的な、つまり人を苛立たせるような内容の発信者に報酬が与えられているように感じられると述べています。収益化の仕組みが、波風を立てる方が儲かるような構造になっているという懸念ですね。

葵: すると、AIを使って報酬を搾取できる問題には触れないのか、という声もありました。プラットフォームの収益化プログラムが機械的な生成コンテンツにどう対処するのか、という観点ですね。

悠真: 結局のところ、こうした収益化プログラムがどのような行動を実際に報酬で強化しているのかが、本質的な問いなのだと思います。プラットフォーム側は公式には健全なクリエイター支援を掲げつつも、現実には過激で刺激的な内容の方がエンゲージメントを稼ぎやすく、収益化につながりやすい。制度設計と実際の成果の間に、まだ埋まっていない溝があるということでしょう。

葵: 選挙のような社会的に緊張が高まる時期ほど、この仕組みの影響力は無視できません。モチベーション設計の結果としてどんなコンテンツが生まれるのか、プラットフォーム側の説明責任が問われていると言えます。

葵: はい、ということで今日もたくさんの話題をお届けしました。まずはGrok 4.6の公開、それからTailscaleが明かした16年前のSQLiteのバグ、MetaのAIグラスを巡るドイツでの刑事告訴、そしてuBlock OriginとFacebookの攻防など、盛りだくさんの一日でしたね。

悠真: そうですね。中でも特に注目だったのはやはりAI系の話題で、Lovableの4億ドル調達やDeepSeekの新モデル、Qwenの公開、それにLLMが得意な数学の話まで、本当に幅広かったですね。あとはAmigaDOSの開発者、Tim King氏の訃報は心に残りました。

葵: ええ。それでは、今回の配信はここまでです。お付き合いいただきありがとうございました。また次回お会いしましょう。さようなら。