そっか～ニュース
記事を読んで、気分はそっか～。

ホワイトハウスのネットワークで住宅用プロキシが検出

## Japanese Translation: 当社の Residential Proxy Observatory を率いた最近のセキュリティ調査により、大統領執行局（ホワイトハウスのネットワーク）に登録されている AS2650 は、2026 年 10 月 5 日から 11 月 3 日まで、住宅用プロキシのエグレス活動ホストしていることが確認されました。エニュメレーションパイプラインでは、30 日のうち 26 日にわたり 6 つのアドレスから発せられた 236 の別個のエグレスが特定され、28 の異なる住宅用プロキシサービスが観測されました。Spur および Synthient という検知サービスとのクロスチェックにより、これらのアドレスが公共 IP コンテキストページを通じて住宅用プロキシエグレスであることがそれぞれ独立して確認されました。 活動は東部標準時の午後 5 時から真夜中にかけてピークに達しており、これは感染した個人端末がプロキシ SDK を使用していることを示唆しており、公共の Wi-Fi の使用とは異なります。セキュリティが不十分なプロキシ SDK は、ネットワーク内でのラテラルムーブメントを可能にします。この事件は、以前の類似した住宅用プロキシネットワークを通じて数百万台の Android 機器を感染させた Kimwolf ボットネットによって参照されたようなリスクの巨大な規模を浮き彫りにしています。 ホワイトハウスのネットワーク以外にも、セントヘレナ・アセンションおよびトリスタンダクーニャ（スターリンクおよびSure セントヘレナを介した 32,000 回以上の観測を持つ 413 のアドレス）、南極大陸（クラウドフレア WARP を通じたマクマード基地への 3 つの観測）、ピトケアン、ノーフォーク島、スバルバル、フォークランド諸島、チャゴス諸島、トケラウ、サウスジョージアなど、遠隔地でも住宅用プロキシが観測されました。Layer3 Intel はこの世界的な住宅用プロキシおよび匿名化インフラストラクチャを追跡しており、脅威アクターは遠隔または孤立したネットワーク上にあっても隠れる場所がないことを示しています。 侵入を記録するログは当局のために確保されており、関連する機関からの要請により当社の連絡先ページを通じて入手可能です。これらのログは、責任あるアクターの特定と感染の全範囲の評価を可能にします。究極的には、この事件は、個々のエンドポイントが適切にセキュリティ対策されていな場合に、高プロファイルな政府ネットワークも侵入に脆弱であることが示され、全世界でのトラフィックの再方向付けを通じて機密通信のプライバシーとセキュリティに対して直接的な脅威をもたらしていることを実証しています。

昆虫はLEDの光に集まってくるわけではない

## Japanese Translation: 白熱灯からLED照明への切り替えは昆虫の引き寄せを劇的に減少させ、昆虫個体数の減少に対する新たな希望を提供しています。昆虫は月光（紫外線（UV）および赤外線波長を含む太陽光の反射光）を利用して航行しますが、人工的な光で紫外線を透過するものには混乱し、上空に向いた姿勢から円を描く飛行や逆さまになるような行動を示します。白熱灯はこの紫外線豊富な光を放出しますが、LED は電気エネルギーのほとんどを可視光（400–700 nm）に変換するため、コバチやヤブカメムシといった飛翔種に対してははるかに魅力的ではありません。 この移行を支える証拠として、2016 年のブリストル大学の研究では白熱灯、省エネ蛍光灯（CFL）、寒色系LED、暖色系LEDを比較し、LED全体が昆虫を引き寄せる数が著しく少ないこと、かつ寒色系と暖色系のLEDの間には有意差がないことを発見しました。具体的には、ハエ目（Diptera）のコバチやクレンカメムシ属（Culicoides）のヤブカメムシがLEDに引き寄せられる個体数が少ないことが確認されました。実例としては、ガイドのロランド・ルム氏によるWINGS バラクロスの旅行で報告された事例があり、家庭では屋外用ダイニング照明を白熱灯からLED に切り替えた後、トカゲの個体群が消失することに気づいたとあります。これは、爬虫類が昆虫という食物源を失ったためです。 夜間の紫外線豊富な人工光は、昆虫個体数の減少の主要な要因の一つと考えられています。このUV曝露を最小限に抑えることで、野生動物の航行への擾乱を軽減し、昆虫媒介疾患に関連するリスクを低減させ、人間の開発と自然の野生生物循環の安全な共存を促進することができます。（記事掲載日：2026 年 11 月 3 日；写真は 2006 年 7 月に撮影されたガソリンスタンド照明に群がる昆虫の様子）

Ripple-65B Preview：米国で開示されたオープンウェイトモデルによるエージェント型コーディングにおける最上位性能

## Japanese Translation: このテキストは、先進的な AI モデルの構築において、段階的にトレーニング手法を最適化する方が、強力で生僻な計算資源に依存する蛮力アプローチよりもはるかに効率的であると論じています。この戦略では、単純な規模化よりも反復的な改良を優先することで、TerminalBench 2.1 でトップティアの性能スコア 80.5 を達成しました。これには「ロールアウト」と呼ばれる試行錯誤のステップがわずか 140 万回しか必要であり、先導的だった前技術（Reflection Beam）が要していたものの約 70 分の 1です。この効率性の源は、高価な外部データの購入を排除し、品質フィルタリングとカバレッジ指標を活用した高品質な内部環境に焦点を当てるカスタム synthetic データパイプラインにあります。 技術的には、このアプローチは堅牢な有教師学習用微調整（SFT）チェックポイントから始まり、高品質な長期間視野を持つ合成環境内において、切り捨て重要性サンプリング、スコア中心化、および線形長罰則を含む混合 RL レシピを採用しています。主要な利点はその適応的な性質であり、モデルが改良につれてトレーニング担当者が自動的により困難なタスクを追加することで進捗を維持しつつ資源の浪費を防ぎます。究極的には、この手法は先進的なモデルのトレーニングにおける財務的および計算機的障壁を大幅に低減させ、巨大量のデータクラスターや過剰な計算力への投資を少なくしてでも優越的な結果を得ることを可能にします。

AI は、われわれに技術的負債の返済を強いることになる

## Japanese Translation: 10 月下旬に明らかになった PHP2Shell の事件は、PHP に存在する重大なメモリ不足エラーを暴露したもので、同エラーはすでに 2024 年に報告されながら軽微なクラッシュ問題として見落とされてきた。カリフォルニアに拠点を置く研究者たち（Calif）、OpenAI の支援のもと、今年初めに AI を強化したツールを使用して PHP の監査を行ったところ、脆弱性が悪用される可能性がある 2 ヶ月前にその欠陥を特定し、即座にパッチを発表することで、NASA やウィキペディア、ホワイトハウス（これらは WordPress または Drupal を使用している）を含む主要なサイトへの広範な影響を防ぐことに成功した。コロンビア大学の Suman Jana は、AI が記憶錯誤を実際の悪用可能なバグに変換するために必要な難しい推論に優れていると指摘している。Anthropic は迅速に LLM に基づくパッチの証明を生成し、Wiz afterward その脆弱性を確認・拡大したが、専門家たちはこれが単発的なケースである可能性は低く、将来の発見は防衛者ではなく悪意のあるアクターから来るかもしれないと警告している。ジョンズ・ホプキンス大学の Matthew Green は、広範な資金調達や体系的な修正が重大な事件（2027 年初頭頃の発生予想）に起こるまで行われない可能性があり、オープンソースソフトウェアにおけるバグの発見と修正の間に存在する非対称性を浮き彫りにした。先を捉えるためには、サイバーセキュリティ専門家はより強力なリソース、フロンティア AI モデルへのアクセス権、および資金支援（主要なラボからのトークン予算寄附など）が必要であり、これにより PHP などのオープンソースプラットフォームを、ますます知能化された攻撃から守り続ける必要がある。

JSON の新しい Go API

## Japanese Translation: 2026 年 11 月 4 日、Google は公式に Go 1.27 をリリースし、`encoding/json/v2` および `encoding/json/jsontext` の安定版を公開しました。Michael Pratt、Joe Tsai などによるこのアップデートは、15 年以上前に初期開発から存在した元の JSON ライブラリの長年残存していた問題を解決します。主な改善点には、無効な UTF-8 を受け付けるなどの動作上の欠陥の修正（重複するメンバー名 (CVE-2017-12635)、スライサーまたはマップの nil 性をリークする問題、大文字小文字区別を気にしないマーシャリング、一貫性のないメソッド呼び出し）が含まれます。新しい `encoding/json/jsontext` パッケージは反射を用いない純粋なストリーミング構文処理を可能にし、v1 のパフォーマンス制限（必須のアロケーション、再帰呼び出しによる二次的課題など）に対処します。更新された `encoding/json/v2` は新しいインターフェース (`MarshalerTo`, `UnmarshalerFrom`) を導入し、これにより `Encoder` または `Decoder` を通じてストリーミング処理が可能になります。さらに、型定義されたメソッドよりも優先されるカスタム表現オプション (`WithMarshalers`, `WithUnmarshalers`) も提供します。v2 の主な動作変化には、無効な UTF-8 および重複する名前でエラーを報告し、nil スライサーまたはマップを空の配列/オブジェクトとしてマーシャリングし、大文字小文字区別マッチングを強制し、`omitempty` を再定義し、`time.Duration` のシリアライゼーションにオプションが必要とすることなどが含まれます。パフォーマンスの面で、マーシャリング速度は v1 と比較して最大 10 倍向上し、マーシャリング速度は同等です。移行は段階的に行うことを意図しており、v1 および v2 は互換性があり（v1 は v2 のオプションを通じて実装されているため）、既存のコードを破綻させずに大文字小文字区別パースなどの新機能を順次取り入れることができるように設計されています。これにより、データ処理パイプラインの効率的な近代化を最小限の中断で行うことが可能になります。

大規模言語モデルのための証明可能な推論に関する進展

## Japanese Translation: FlashProve は、モデルプロバイダーがそれぞれの応答が自らの特定のモデルによって生成されたことを暗号学的に証明することを可能にする新しいシステムです。このシステムは、攻撃者によって置換された出力と正当な出力を区別できないユーザーの「検証ギャップ」を解消します。FlashProve は、zkSNARKs と Lean における形式化検証を活用することで、完全性 (completeness)、一貫性 (soundness)、ゼロ・ノレッジ (zero-knowledge)、簡潔さ (succinctness) という強いセキュリティ保証を提供すると同時に、機密モデル重みを守る仕組みです。オフラインコミットメントフェーズにおいて、証明者は短い指紋（約 6.5 MB）を公開し、誰でもモデル重みや専門ハードウェアにアクセスすることなく、オンラインフェーズで生成される証明を検証できます。 パフォーマンスのハイライトには、単一の H100 GPU 上で Llama 4 Maverick（4-bit クォンタイズされた重みと整数算術を用いたプリフィル段階を持つ 400B パラメータの MoE モデル）において約 110 トークル/秒の証明生成速度が挙げられます。これは、vLLM でモデルを実行する必要がある GPU 時間と比較して、先行のオープンソースシステムに対して約 70–95 倍の高速化を実現しています。各 1,024 トークルのリクエストごとに約 19 MB の証明が生成され、24 リクエストのバッチ検証は単一の H100（CPU コア 24 個搭載）で約 223 秒を要します。これにより、1 スレッドでは約 21 秒だった処理時間を 24 スレッドで約 17 秒に改善しています。 チームは今日、ブログ記事、技術報告書、Claude が作成したプロトコル仕様書、実行可能な証明者・検証者コード（C++ および Lean）、インタラクティブな可視化付きの Lean 証明を含む 5 つのアートを Apache 2.0 ライセンスの下で公開しました。FlashProve は効率性を維持しつつセキュリティを優先するため、事後証明（post-hoc proving）を採用しており、これにより一定の遅延と複雑性が導入されています。現在の制限事項としては、貪欲なデコード（greedy decoding）下での整数ベースモデルのみへの対応、MoE アーキテクチャへの限定、1,024 トークルまでのコンテキスト長、完全な形式化保証のないプロトタイプ実装の公開、タイミング変動などのサイドチャネル攻撃への脆弱性などが挙げられます。これらの制約にもかかわらず、FlashProve はモデルの真正性を攻撃による置換から守るための安全でハードウェア軽量の検証を可能にする分野における重大な進歩を示しています。

Nvidia の RTX Spark 暗号化ファームウェアが Linux では推論速度を 35% に低下させる

## Japanese Translation: MSI Prestige N16 Flip AI Plus で Linux をデュアルブートすることは GPU 加速を伴う可能性がありますが、電源に接続したときに深刻なパフォーマンスの低下を引き起こし、新しい RTX Spark アーキテクチャの性能を根本的に損なっています。その根本原因は、Windows 専用ファームウェア（"Nvidia Platform Controllers"）によって管理される暗号化された電源管理テーブルにあります。これにより、GPU は Windows や WSL における ~2.2 GHz のブーストではなく、~780 MHz でロックされます。その結果、ネイティブ Linux では速度が約 14 トークン/秒（AC）に低下し、バッテリー駆動時または Windows では 65 トークン/秒以上となるため、実行時間ベンチマークにより確認されている五倍の乖離が生じます。回避策は存在します——例えば、プロプライエタリなコントローラーサービスを無効化してこのロックアウトをグローバルに模倣する、あるいは暗号解密密钥を手動で抽出する（不安定かつ単一マシンへのハック）——しかし、永続的な解決策には Nvidia がこれらの電源設定をオープンソースドライバへ移植することが必要です。さらに、デバイスの完全な機能を引き出すためには、起動時の手動メモリアルLOCATION調整やハードウェア認識の問題といった障壁を克服する必要があります。したがって、統一された 128 GB メモリと高度な AI 機能の完全な活用を目指している開発者にとって、現状では WSL や複雑なパッチに依存しなければならず、Nvidia がネイティブな修正を提供するまで、この ARM ベースのハードウェアを完全に解放することは Windows への依存関係に依存していることが示されています。

Show HN: 10年かけて逆向きにした後ついに、DOS版『ウィングコマンド』の協力プレイが動作するようになりました

## Japanese Translation: オリジナルのサマリーはハイレベルな概要には適しているが、キーポイントリストに含まれているような技術的な深みは欠けている。以下は、物語の流れを保持しつつ、リストから具体的な技術的マイルストーンと年代順の文脈を取り込んだ改良版である。 ## 改善されたサマリー： 最も重要な教訓は、2人の開発者（Daniel Rh と Patrick）が、1990 年代のシングルプレイヤー DOS ゲーム『Wing Commander』を厳密な制限（640K RAM の旧ハードウェア上）の中でスタートし、11 年間の旅程（2015–2026）を通じて完全に機能する協力型マルチプレイヤー体験へと成功裏に変容させた点である。コアファイルを変更せずにマルチプレイヤー機能を注入するためには、内部メモリ構造を分析するために DOSBox を利用し、プレイヤーの位置、速度、勝利点を制御する特定のデータアドレスを 64K データセグメント（dseg）内で特定した。コアファイルを変更せずにマルチプレイヤー機能を注入するため、「死んだ文字列」を使用して Borland オーバーレイを通じてゲーム関数を呼び出す技術や、複雑な_trampoline システムを開拓した。開発は TCP/protobuf ネットワーキングプロトコルの実装から始まり、エンティティスロットの競合を解決し、VDUフックによるインゲームテキストチャットの導入へと進化した。爆発やオートパイロットアニメーションなどの動的要素に対するサポートを洗練させた後、プロジェクトは 2026 年のアップデートで Emscripten を使用して再構築された形で完成した。この最終リリースには、ブラウザベースの WebRTC ピアツーピア接続、ボイチャット、カスタムロビーシステムが搭載されており、高価なモダンポートではなく高度なリバースエンジニアリングを通じてレガシーソフトウェアを蘇らせることができることを証明している。

コンダクターが Meta に参加する

## Japanese Translation: 以下の要約は、ローカル版の具体的なローンチスケジュールとサポート連絡先を含むすべての主要なキーポイントを取り込みつつ、明確さと流れを維持しています： Meta は、2025 年 11 月 20 日まで Conductor プラットフォームを完全にオンプレミス型モデルに移行します。Conductor のローカル版は 2025 年 7 月にローンチされ、2027 年初頭まで新しいモデルと重要なバグ修正を受け続けます。しかし、中央の Conductor Cloud サービスは 2025 年 11 月 20 日に完全に終了します。ユーザーは、永久的なデータ損失を回避するため直ちにデータをダウンロードまたはエクスポートすること強く推奨されます。移行は厳格なスケジュールに従います：新規登録は火曜日 11 月 4 日に停止し、既存の無料ユーザーは Pro へアップグレードできません（ただし、Pro の機能へのアクセスは引き続き可能）；ワークスペースは金曜日 11 月 13 日に読み取り専用モードに切り替えられ、その時点でアクティブなサブスクリプションを持つユーザーは返金を受け取ります；最後に、クラウドサービスは 11 月 20 日に運用を終了し、保存されていないデータを削除を開始します。新しいインターフェースは来年初頭までに登場すると予想されています。この戦略的シフトは、プライバシーと長期的な安定性を重視し、独立したオンプレミスソリューションを通じて実施されることで、中央集権的なクラウドへの依存からの離脱という業界全体の流れを示しています。移行に関するお問い合わせは、support@proton.me までご連絡ください。

AMDが歴史的に初となるQ4におけるIntel販売台数超過を見込む

## Japanese Translation: AMD は火曜日に史上最高額の四半期収益を報告しました。これは、EPYC データセンター向けプロセッサと Instinct AI アクセラレータへの需要が年率約 2 倍に伸びたことによるものでした。クライアントシステムの販売はメモリのコスト高騰や他の頭風にもかかわらず小幅で減少しましたが、データセンター向けハードウェアにおける収益増がこの減少を上回って利益率を改善しました。AMD は次四半期の収益を概ね 170 億ドルと見込んでおり、この予測が当たれば史上初めて Intel の総収益を上回る可能性にあります。

Show HN：自作PCの各部材単価で見積もりを出すツールを作った

## Japanese 翻訳: PC Deal Check は、コンピューターの価格における透明性を求める購入者にとって画期的なソリューションを提供します。この無料の公開ベータツールは、アカウントの作成やハードウェア知識を必要とせずに、製品リンクまたは写真を単に入力するだけでアメリカ国内の消費者が PC のオファーを瞬時に評価できるように支援し、技術的な専門知識なしで利用可能にしています。本サービスの核心には、小売店のリストから主要なコンポーネントを自動的に識別し、独自の価格モデルを適用して要請価格を現在の市場価値と比較する高度な AI エンジンが搭載されています。手動の方法とは異なり、特定のグレードおよび日付付きのコンポーネント見積もりを特徴とする詳細なレポートを生成し、ユーザーが過剰に設定された価格や隠れた価値を素早く見分けることを可能にします。例えば、紹介されたサンプル製品は、リスト価格が市場ベースの見積もりよりも低く評価され、「A」グレードを受賞すると同時に、その製品は不具合（discontinued）であることも示しました。本ツールは米国データ上に特化して動作し、小売業者への自社の競争力に関するリアルタイムフィードバックを提供するとともに、購入者が膨大価格と公正な市場レートを区別するのを助けます。この進化を続けるベータサービスが時間の経過とともにアルゴリズムを改善するにつれ、複雑なデジタル市場における情報に基づく購買決定のためにますます正確な洞察を約束します。 ## Text to translate: The original summary is well-written and clear. No changes are necessary; repeating the original below for completeness: ## Summary: PC Deal Check offers a transformative solution for buyers seeking transparency in computer pricing without requiring technical expertise. This free public beta tool empowers consumers across the United States to evaluate PC deals instantly by simply inputting product links or photos, eliminating the need for accounts or hardware knowledge. At its core, the service utilizes an advanced AI engine that automatically identifies main components from retailer listings and applies a custom pricing model to compare asking costs against current market value. Unlike manual methods, it generates detailed reports featuring specific grades and dated component estimates, allowing users to quickly spot overpriced items or hidden value. For instance, a featured sample product received an 'A' grade because its listed price was lower than its market-based estimate, while also noting the item is discontinued. Operating specifically on US data, the tool provides real-time feedback to retailers regarding their competitiveness and helps buyers distinguish between inflated prices and fair market rates. As this evolving beta service improves its algorithms over time, it promises increasingly accurate insights for informed purchasing decisions in a complex digital marketplace.

北朝鮮の偽装就職面接が、63 億ドルのバイナンス不正送金事件につながる原因となった

## Japanese Translation: FBI が専門性を有すると認識している、ラザルス集団に結びつく北朝鮮のハッカー（ TraderTraitor ）が、史上最大級のデジタル盗難の一つである Binance から 63 億ドル規模の暗号通貨泥棒を執行した。この攻撃は、単なる暴力行為ではなく、ソーシャルエンジニアリングとマルウェア導入を組み合わせた高度な多段階キャンペーンであった。 6 月に、エンジニアはサプライチェーン侵害の一部として、 compromise された Homebrew インストールを通じて悪意のあるコードをダウンロードした。9 月には、合法プラットフォーム上での偽の面接を通じエンジニアが標的となり、2 回目の面接フェーズの間、偽の CEO がエンジニアに対し、ソーシャルチャットアプリを介してマルウェア混入のコードのダウンロードを指示した。これは、正当な開発ツールのコンポーネントを悪意のあるバージョンに置き換え、攻撃者管理のサーバーとの通信を確立したものである。10 月 20 日、攻撃者は侵害されたマシンと社内 AI ツールを使用して、エンジニア A とエンジニア C のマシンにアクセスした。10 月 29 日には、エンジニア A から窃取された認証情報を使用してコンテナを展開し、エンジニア C システムに対して暗号通貨窃取スクリプトを実行して資金を排出した。 この出来事は新たな脅威を示している：ブロックチェーン開発環境に組み込まれた人工知能ツールの侵害であり、サプライチェーンセキュリティレビューと独立した監督が重要なギャップとなっている。これへの対応として、Binance は直ちに侵害されたウォレットシステムを再構築し、影響を受けたデバイスを置換し、関連認証情報とトークンを退役させ、独立したサイバーセキュリティ専門家を雇用して審査を行うとともに、法執行機関、ブロックチェーンインテリ企業、および研究員と協力して盗まれた資産を追跡および凍結する計画である。Binance はまた、ブロックチェーン環境内の AI セキュリティを強化し将来の侵害を防ぐために、専用のセキュリティ研究ファンドの立ち上げを予定している。

検証は知識ではない：科学には答えだけでなくこれ以上のものが必要です

## Japanese Translation: 人工知能の出力と科学における人間の理解の間の緊張関係について論じたエッセイにおいて、Jessica Hullman は、高度な技術が研究者に導出プロセスを理解せずに技術的に正確な結果を受け入れるギャップを生み出すリスクがあると探求している。この問題は、Terry Tao による AI が開発したがん治療薬が試験を通過するにもかかわらず人間によってその論理が理解されないという思想実験で示されており、これは Tom Dietterich が arXiv に掲載された論文について著者自身が自分の主張を完全に理解していない可能性を示唆する懸念に共鳴している。この議論は、Bill Thurston による数学における成功の定義（より明晰な思考を可能にすることをもたらす）を取り上げ、それを冷戦時代の「価値中立の理想」と第二次世界大戦後の科学に対する「社会的契約」と対比させている。哲学者の Robert Brandom は知識には理由を提供することが必要であり、単に信頼性の高い結果だけでは不十分であると論じており、フェルマーの最終定理や Helen Longino によるピアレビューを観測を再考する手段として捉えるという歴史的な例もまた、真の科学的洞察は説明の明晰性に依存するという主張を支持している。Diego Velázquez の『アルコネの寓話』が引用されるなか、この文書は Cosmos Institute を通じて技術と人間の思考の間の結びつきを保持することが正しい結果が意味を失う危機を防ぐために不可欠であると結論付け、科学家には AI が発見を検証する能力を置き換えるのではなくそれを強化することを確保すべきことを促している。

プルリクエスト、Git オペレーション、および Issue に伴うインシデント

## Japanese Translation: GitHub がコア開発ツール（Git Operations、API リクエスト、Issues、Pull Requests、Actions）を広く影響させた大規模サービス障害を完全に解決しました。このインシデントは 2026 年 11 月 4 日 UTC 09:49 に発生し、当初 Git Operations、Issues、Pull Requests のパフォーマンス低下が報告されました。朝のうちにチームは Actions へのエスカレーション、そして API リクエストおよびコアコンポーネントにおける広範な障害の発生についてアップデートを発行しました。同日中順次緩和対策が実施され、UTC 11:30 に API リクエストおよび Git Operations に影響を与えた問題が解消され、UTC 11:43 に Actions もさらに安定化しました。UTC 11:50 にはすべてのコンポーネントが安定していることが確認され、ステータスは正式に「解決済み」とマークされました。正確な根本原因は引き続き調査中ですが、詳細な技術報告書は利用可能な時点で共有されます。GitHub はこの中断について認識し、エンジニアリングチームが通常機能を回復するよう尽力した間、ユーザーの忍耐に対して感謝の意を表しました。

Kimi K3.1 Pro モデルの重みが公開されました

## Japanese Translation: Moonshot AI から Kimi K3.1 Pro が公開され、これは開示された重み、ネイティブマルチモーダルエージェントモデルであり、同シリーズにおいて最も高性能な 3T クラスモデルです。数百のドメインにわたる大規模な連合強化学習によるポストトレーニングが行われ、100 万トークンの超大規模コンテキストウィンドウ、2.8T の総パラメータ（うち活性化されるのは 104B）、MoonViT-V2 ビジョンエンコーディング、MXFP4/MXFP8 クオンタイゼーション対応など、高度なアーキテクチャを備えています。 本モデルは GPT-6 Astra や Claude Opus といった業界リーダーと直接対峙しており、特定の分野で顕著なベンチマークでのリードを示しています：BenchCAD w/ tools で 92.7 のスコア（GPT-6 Astra は 95.9）、GPQA-Diamond で 94.2。コーディング、3D 作成、金融研究、サイバーセキュリティ（ExploitBench: 74.7）、事象の正確性において大幅な改善を実現しています。 Kimi K3.1 Pro は `https://platform.kimi.ai` の API を通じて即座に利用可能で、OpenAI/Anthropic 互換形式をサポートしています。マルチターン対話においては、`reasoning_content` と `tool_calls` を含む完全なアシスタントメッセージを渡す必要があります。推奨される推論エンジンには vLLM、SGLang、TokenSpeed が含まれます。Kimi K3.1 Pro ライセンスの下で公開されており、クオンタイゼーション対応トレーニングなどの効率的な展開オプションを備え、企業向け AI 的能力の拡張をもたらします。

常時利用可能：証明安全なシステム言語 Evergreen

## Japanese Translation: Evergreen は、高性能な機能性と極端な安全性の間の隔たりを架橋することを目的とした画期的なプログラミング言語であり、C よりも強力かつ Rust よりも安全であることを謳っています。その核心的な革新は、条件（`where` 節）、事後条件（`ensures` 節）、所有権規則、チェック済み不変量などの明示的な契約を、それらを記述する論理のすぐ隣に直接統合することです。これにより、開発者は「何であるべきか（what must hold）」という要件を定義でき、強力な証明や帰納法による補題などを用いてコンパイラがこれを数学的に検証します。 性能ペナルティをゼロとすることを保証するため、Evergen はチェック後には消去される理想計算を採用し、実行時コードにおいて必要な作業のみを残して最終バイナリを生成します。この言語は、メモリアレイの配置、所有権、借用参照を通じてメモリを管理し、メモリ平面が有効である期間を追跡することで、有効な使用だけが残るように確保しています。現代的な Web 環境向けに設計された Evergreen は、WebAssembly で動作するインタラクティブプレイグラウンドを通じてコードの実行を可能にし、異なるデバイス間でのコード実行を実現します。ユーザーは、コンソール内で `Ctrl` または `⌘ + Enter` を使用して複雑な概念を検証し、例を直接実行できます。最終的には、Evergreen はメモリの安全性と論理的誤りに関する重要な業界課題を解決し、高信頼性プログラミングをすべての人にとってアクセス可能かつ効率的にします。

ゲリラサイクルレーン：サンフランシスコが非合法のインフラを恒久化する（2016年）

## Japanese Translation: サンフランシスコの匿名の活動家グループ「サンフランシスコ・トランスフォーメーション・エージェンシー」（SFMTrA）は、ゴールデンゲートパーク内のジョン・F・ケネディ大通り沿いの安全上の即時ニーズを示し、公式に対して迅速な改善を要請するため、「戦術都市計画」を採用してきました。具体的には、耐衝撃性の高いソフトヒッターポストなどの一時的な物理的変化を設置するものでした。こうした介入は、都市が審査プロセス中にその設置を引き続き維持することを検討している間にも、公式承認の確保に寄与し、より広範な保護された自転車レーンの整備という大趋势を後押ししています。同様にシアトルでは、グループ「リゾナブリー・ポライト・シーアティーツ」により設置された防護ポストが当初取り外されましたが、当局が該グループによる投入資源およびリスクを認めると再設置されたものです。シアトルの交通工学専門家であるドンホ・チャン氏は、当初は技術的な懸念が取り外しの原因だったことを指摘しつつ、最終的には州政府主導による再設置が確認されたと述べています。ニューヨーク市では、コミュニティ評議会はタクシー運転手、歩行者、自転車利用者を巻き込んだ事故後に計画を却下したため、「ライト・オブ・ウェイ」が自転車レーンを塗装しました。こうしたゲリラ的介入には罰金や拘束期間を含む法的リスクが伴いますが、これら直接的な行動は市政の方針変化を促しています。今後の展開として、サンフランシスコでの正式承認とワシントン州での計画的再設置が見込まれています。結局のところ、これらの草の根活動は、脆弱な道路利用者を保護する恒久的で命を守りうるインフラの変化を触媒とする一時的な措置の有効性を証明しています。

Replit Pro の場合、仲裁からの撤回期限は 11 月 8 日までです。

## Japanese Translation: 2026 年 10 月 9 日、Replit は既存顧客向けに新たな Pro 合意を導入し、争訟解決手続きを根本的に変更しました。この変更は私人仲裁の義務付けおよび集団訴訟への権利放棄を含んでおり、これらは以前の条項からの著しい変化です。ユーザーはその法的救済手段を保護するために直ちに行動を起こす必要があります。顧客は 2026 年 10 月 9 日から 30 日後である 11 月 8 日まで opting-out（拒否）を選択できますが、9 月の発表後に登録した者は、登録時から各自の 30 日の猶予期間を有します。これらの条件を成功して拒否するには、**各チームメンバーは個別に通知を送信する必要があります**。その通知には氏名、住所、Replit ユーザー名、およびアカウント用メールアドレスを含め、`arbitration-opt-out@repl.it` へ送信してください。 opting-out を行うことで、争訟が私人仲裁ではなく裁判で開け続けることを確保しますが、いかなる請求の実体的な内容には影響を及ぼしません。加えて、Replit は 9 月 9 日に資格のある Pro アカウントに対してデフォルトで「モデル改善」設定を有効化しました。この更新は、プラットフォームがユーザー合意を変更する方法に対する業界内の監視が高まっていることを示しており、特に初期の発表メールには具体的な opting-out の期限や宛先が含まれていなかったことから、ユーザーが同意メカニズムを積極的に検証することが求められています。

野生から温和へ：友好的なキツネで脳領域の変化が確認

## Japanese Translation: 11 月 2 日に『Current Biology』に掲載された、コルネル大学の最高著者 Eirene Markenscoff-Papadimitriou 率いる研究チームによる新報は、イリノイ大学の Anna Kukekova と共同で、飼育下・攻撃的品種選抜・野生のシルバーフォックスの脳を比較している。この研究は、1958 年に遺伝学者らが友好性を目的として 6 世代にわたり狐を選択的に繁殖させた古典的なロシアの実験（その結果、垂れ耳や短い吻といった身体的特徴を有する従順な個体が生み出された）を発展させ、このような急速な行動変化の神経学的基盤を検証している。研究者らは蛍光 RNA スコープを用いて、9 個の保存済みかつ薄くスライスされた狐の脳を分析し、攻撃を駆動することが知られた腹内側視床下部という領域に焦点を当てた。これまでのマウスにおけるオプトジェネティクスの実験では、この特定の領域においてエストロゲン受容体を発現するニューロンを活性化すると直ちに攻撃行動が誘発することが示されていた。本研究では、懐かした狐は攻撃的および野生の狐と比較して、著しく少ない数のエストロゲン受容体発現ニューロンを有していることが明らかとなり、その結果、攻撃回路における構造的な減少が懐かしさと相関する可能性を示唆している。この研究はコルネル大学の脊椎動物ゲノミクスセンターより資金支援を受けており、協力者にはコルネル大学とロシア科学院細胞・遺伝研究所の研究者も含まれている。今後の作業では、このニューロンの発育を抑制している特定のゲノム変異を特定することを目標としており、将来的に他の種における飼育化に関する研究にも道筋を示す可能性がある。

殺人犯を友人にしたのか？

## Japanese Translation: エドワード・アベル・スミス著『A Hateful Decision』は、ロビン・ガルバットが2010年3月23日、メルソンビーで寝たきりの妻ダイアナを殺害したとの有罪判決に疑問を投げかけています。検察側は、ロビンが郵便局での拳銃強盗事件を偽装して殺人と盗難を隠蔽しようとしたと主張しましたが、救急隊員は遺体 rigor mortis（硬直）を確認し、彼女が標榜された強盗の数時間前に死亡していたことを示しました。12人の陪審員のうち10人が、裁判官の要旨において彼を「殺人者」と表現したという証拠も含まれた証拠聴取の後にガルバットに有罪とする多数決で裁くことを決定しました。ガルバットは家族経営のウェブサイトを通じて無実を主張しており、刑事事件審査委員会（CCRC）を通じた上訴を行い、これを「モグラ叩きゲーム」と称しています。2015年、2017年、2019年に申請が提出され、それぞれ部分的には認められたものの、金銭的動機、タイムラインの不整合、殺人犯への武器の証拠に関する指摘にもかかわらず全体としては却下されました。特定のタイムラインの問題には、ダイアナの死亡時刻（午前2時30分～4時30分）、目撃者ブライアン・ヒードが午前6時45分に女性の声を聞いたこと、強盗と発見のための決定的な79秒のウィンドウがあります。決定的証拠への批判としては、殺人犯の武器（ポール）上に警察官のDNAが残っていること、寝室のランプが消えたこと、髪に関する証拠が失われたこと、ゴミ箱で見つかった錆のようなシミがある下着品が未だ分析されていないことが挙げられます。Crimestoppersからの-tipでは、殺人後に拳銃と現金を持って現地の男性が確認されたと指摘があり、追跡によりマンチェスター100マイル先の強盗未遂容疑で服役中の囚人であることが分かりました。加えて、ダイアナの継父は児童性虐待を被ったことおよびそれを取り上げようとした意向について目撃者の証言に記載されており、以来彼はその死亡しました。著者エドワード・アベル・スミスはロビンをウェールストン刑務所を訪れ、電話通話をし、個人的な関係を築き、2026年初頭に『A Hateful Decision』が『タイムズ』誌の週刊ブックとして名を冠した後にガルバットからの祝贺ボイスメッセージを受け取りました。ロビンは法律ファイル、目撃者証言、タイムライン、対応文書を含む唯一のラップトップをスミスに寄贈しました。現在、スミスはガルバットが無実であるかもしれない、または裁判所の判決を示唆するよりも事実ははるかに複雑であると考えていると述べていますが、誰がダイアナを殺したのかを確信することはできないことを認めています。この事件は証言が非難され、物理的に不可能なタイムラインに基づいた有罪多数決に依存して行われました。失敗の要因には、消えたランプや分析されていない錆シミの下着品などの証拠の不手際、武器から発見された警察官のDNAが含まれます。ガルバットは上訴却後も終身刑を服しておりながら、この調査は今後のメディア報道——DKによる2027年3月にリリース予定の新ドキュメンタリー『Murders in the Dark』を含む——を支持し、公式な物語が操作された事実に基づいている可能性を示唆しています。この事件は証拠の保存と陪審決定への依存において手続き的不正を無視するシステム的な失敗を浮き彫りにし、再宣告に対する新たな希望を提供しながら、不完全な情報に基づく過去の有罪判決に対して疑問を投げかけます。

Benchfmt.rs：Go のベンチマークと benchstat ワークフローを Rust に持ち込む

## Japanese 翻訳: 以下で示す改善されたサマリーでは、不足していた技術的な文脈（Criterion の特定の欠陥）、ベンチマーク環境の詳細、そして「他のライブラリ」の問題が標準的な Criterion の動作を指していることを明確にしています： ## 改善されたサマリー 最も重要な発見は、新しい Rust ツールである `benchfmt.rs` が、Go ベンチマークとの直接的なパフォーマンス比較を可能にしながら、著しく高い効率性を提供することです。Go の標準的なテストスイートのレポート機能に一致するように設計されたこのゼロ依存関係のランナーは、Rust の人気のある `Criterion` ライブラリに見られる特定の落とし穴を解決します。これらの落とし穴には、その重たいコンパイル負荷（約 42 クレート）、線形ランプサンプリングの問題、そして組み込みのヒープ追跡や多次元テーブルピボティングの欠如などが含まれます。`benchfmt.rs` はヒープ追跡 (`CountingAlloc`) と `pprof` プロファイリングをネイティブに統合するため、ベンチマークコードを書き換えることなく、Go ツール（例：`benchstat` JSON）と完全に互換性のある出力形式を生成することを可能にします。 24 コア Intel Xeon ワークステーション上で実施されたテストの結果（Go 1.26.8）から、同一の負荷において Rust が Go を上回ることが示されています：varint デコードでは 37%〜42% 高速化し、リモート書き込みタスク全体では 13%〜15% の高速化が達成されています。プロセスレベルの指標は、Rust が Go よりも CPU 使用量を 1.9 倍から 3.2 倍低く、特に Go でバックグラウンドガベージコレクションが有効になっている場合（これらの負荷において Go のオン-CPU タイムの約 54% を占める）、著しく少ない RAM を消費することを示しています。この効率性は、標準的な `Criterion` ランナーに見られる欠点を欠いています。今後、ユーザーは `-cpuprofile` といったフラグを活用して、`pprof.me` で分析可能なプロファイルを生成できます。最終的に、このツールはマイクロサービス設計においてメモリの使用量と生速度に関するアーキテクチャ上の意思決定を行うために、クロス言語チームのための一元化されたワークフローを提供します。 *(注：厳密に元のテキストの正確な言葉に従うこと（サマリー入力には存在するが Key Points には存在しない特定の Go バージョンやハードウェア仕様などの外部事実を追加しないこと）を要求される場合は、元のサマリーに戻り、欠落している場所の URL `bwplotka/benchmarks/benchmarks/rust-go-decode` に関する注釈を単に追加すべきです。ただし、一般的には、改善されたサマリーはこれらの重要な方法論的なポイントを統合すべきです。)*

すべてがAI詐欺のようになった

## Japanese Translation: デジタルの環境には、高度なテクノロジーを悪用して不可能な製品の特徴を謳う欺瞞的な広告がますます溢れかえっています。YouTube などで見られた例には、90 秒で部屋を冷やすエアコンや処方箋対応のメガネといった非現実的な成果を保証する詐欺があり、太極拳プログラムでは 20 日間で「 ripped（鍛えた）」筋肉を作ることを謳うものもあります。また、インターネット上で流れるその他の広告は、安っぽく低努力なプロモーション（"chum buckets"）に見えますが、視聴者はそれらが偽物だとよく認識しています。特に警告すべき例には、著者自身の文体を人工知能（AI）を使って完璧に模倣し、「Our Voices in the Chaos」という詩集のレビュー依頼を送ってくるフィッシングメールがありました。この著者は、同作品を無料でダウンロード可能な形で販売していません。この具体的な手法は、ニジェールの王子詐欺といった古典的な詐欺の現代版であり、現在では作家やクリエイターを狙うように特化しています。根本的な問題は、主要なプラットフォームが真偽に関わらず有料広告はすべて許可している点で、収益検証よりも優先させていることです。その結果、ユーザーは金銭的損失や時間の浪費に直面する一方、詐欺師はごく一部の人のみに接触すれば費用を回収し利益を得られます。製品の実存性を広告掲載前に厳格に検証する措置（プロモーションされているアイテムが実際に存在するか、正当に入手可能かを確認する）が取られない限り、これら洗練され極めて個別化された詐欺はインターネット上で無制約で続くと予想されます。

Kitty 0.50

MCP クライアントの利用者を信頼させながら、フィッシングの隙間を生まない方法

## 日本語訳: 重大なセキュリティ欠陥により、ハッカーは標準的な MCP OAuth サーバーを欺き、ログイン時に悪意のあるウェブサイトのアドレスを受け付けさせることでユーザーアカウントを窃取することが可能です。この脆弱性は最近、Square などの大手企業に対し実証されており、ワンクリックで完全なアカウント乗っ取りを可能にします。核心的問題は、2026 年 5 月の研究で確認された通り、テスト対象の OAuth を備えた MCP サーバーの 95.8% が匿名のリクエスト元から任意の `redirect_uri` 値を受け付ける点にあることが特定されました。これにより大規模なフィッシングのベクターが生じました。既存のシステムは登録設定や出版社のアイデンティティに依存していましたが、これらは不十分として却下されました。新しい解決策は、個人ユーザーレベルで厳格な信頼を強制します。この改善されたアーキテクチャでは、ユーザーは「信頼済みアプリ」リストで特定の HTTPS アドレスを手動で承認します。これらのアドレスは認証後のみ、ユーザー固有の信頼リストに対して検証されます。リスクを軽減するためには、サーバーは無権限なコードを即座に拒否し、信頼済みアドレスが削除された場合は全てのアクセスを取り消す必要があります。現在、信頼済みアドレスを追加するには、拒否ページでホストを手動でタイプする必要があります（リンクをクリックしない）。また、通常はメール検証も含まれます。この変更により、信頼できない登録設定をユーザーの直接的な意図の検証に置き換えることで、最近の大規模攻撃が無効化され、オープンリダイレクトリスクが実質的に中和され、デジタルセキュリティに対する真の制御権が回復されます。 ## 改善された要約: 重大なセキュリティ欠陥により、ハッカーは標準的な MCP OAuth サーバーを欺き、ログイン時に悪意のあるウェブサイトのアドレスを受け付けさせることでユーザーアカウントを窃取することが可能です。この脆弱性は最近、Square などの大手企業に対し実証されており、ワンクリックで完全なアカウント乗っ取りを可能にします。核心的問題は、2026 年 5 月の研究で確認された通り、テスト対象の OAuth を備えた MCP サーバーの 95.8% が匿名のリクエスト元から任意の `redirect_uri` 値を受け付ける点にあることが特定されました。これにより大規模なフィッシングのベクターが生じました。既存のシステムは登録設定や出版社のアイデンティティに依存していましたが、これらは不十分として却下されました。新しい解決策は、個人ユーザーレベルで厳格な信頼を強制します。この改善されたアーキテクチャでは、ユーザーは「信頼済みアプリ」リストで特定の HTTPS アドレスを手動で承認します。これらのアドレスは認証後のみ、ユーザー固有の信頼リストに対して検証されます。リスクを軽減するためには、サーバーは無権限なコードを即座に拒否し、信頼済みアドレスが削除された場合は全てのアクセスを取り消す必要があります。現在、信頼済みアドレスを追加するには、拒否ページでホストを手動でタイプする必要があります（リンクをクリックしない）。また、通常はメール検証も含まれます。この変更により、信頼できない登録設定をユーザーの直接的な意図の検証に置き換えることで、最近の大規模攻撃が無効化され、オープンリダイレクトリスクが実質的に中和され、デジタルセキュリティに対する真の制御権が回復されます。