Microsoft 365 が全面復旧、米国の全便停止は配線工事が原因か

AI

An update on our recent security incident · Cursor

Cursor が、自社の拡張機能ストアで偽の Claude Code 拡張が配られた件の調査結果を公式ブログで公表した。発端は、外部の委託先に渡していた鍵が漏れたことだという。保管庫にあったAIの作業記録に消し忘れの認証情報が残り、攻撃者はそれを足がかりに偽の拡張を置いた。10月末に報じた裏口入りの拡張の全体像で、AIの作業記録そのものが秘密情報の置き場になりうると示した。

IBM trains two small open models to ignore orders hidden in documents

IBM が、文書に紛れた命令に従わないよう鍛えた小型の公開モデル2種を試験公開した。r/LocalLLaMA で共有された解説記事によると、依頼の各部分を特殊な区切りで囲み、命令役の部分だけに従わせる。読ませる文書やWebページの中身は「読む対象」として扱う。プロンプトインジェクション（外部の文章に命令を仕込みAIを乗っ取る攻撃）の成功率は、試験によっては1%未満まで下がった。

Lovable apps expose passport details and more than 200K private messages

AIに話しかけてアプリを作れる Lovable で、作られたアプリの多くがログインなしで個人情報を見せていた。調査した Crissy Field によると、約2万4千のサイトが、開いただけでデータベースの中身を送っていた。旅券番号や20万件超の私的なメッセージが読める例もあった。原因は、データベースへのアクセス制限の設定漏れだという。作る手間が減っても、守りの設定は作り手が確かめる必要がある。

Advancing science and engineering with Antigravity’s /teamwork

Google が、開発環境 Antigravity で複数のAIを組ませて長期の研究を進める機能「/teamwork」を外部に開放した。Google Research のブログによると、AIたちが答えの案を並行して出し、証明の検査器やテストで正しいものだけを残す。各AIには自分の作業に要る資料だけを渡し、別の検査役が結果を見直す。数学の未解決問題の証明や、大規模なコードの書き換えで成果が出たとしている。

幻覚がひどいAIでも言葉遣いが洗練されていれば人を簡単に騙せることが判明

AIの文章が滑らかなら、中身が間違っていても人は正しいAIと同じくらい信用してしまう。Gigazine が、オランダのラドバウド大学の研究を紹介した。参加者は題材の映画に詳しい人に絞ったが、ほとんどが誤りに気づかなかった。研究者は、答えごとに確信の度合いを示すよう規制で求めるべきだと訴えている。

Infra

Microsoft 365、接続障害から回復　後日詳細を報告へ

13日未明から続いた Microsoft 365 の障害が、14日15時ごろに全地域で復旧した。Impress Watch によると、Microsoft は、以前の回線増強で生じた問題が最近の変更で表に出たと説明している。利用者が多いため、段階的に戻して安定を確かめたことで時間がかかったという。障害の経緯をまとめた piyolog の整理の続報で、詳しい報告書は後日出る。

Transportation secretary blames ‘routine’ equipment upgrade for grounding flights nationwide

米国全土で航空便が止まった件は、遠隔地の配線工事が引き金だったと米運輸長官が説明した。TechCrunch によると、銅線を光ファイバーに替えた後、ルーターが重要な通信網に過大な負荷をかけた。金曜夕方だけで8千便以上が欠航した。政府は、工事を金曜の午後に行った判断も含めて見直すとしている。

wfx-loot: what the stealer leaves behind after you rotate the GitHub secrets

GitHub Actions を狙った広域攻撃では、鍵を作り直すだけでは足りないと r/devops の投稿が警告した。複数のセキュリティ企業の報告によると、盗む側のコードはクラウド側に「合鍵」を残す場合がある。AWS の権限をどのアカウントからでも使えるよう書き換えたり、自分の実行記録を消したりするという。投稿は、クラウドの操作履歴と自動実行の通し番号の抜けを点検するよう勧めている。

Cognitoの自己サインアップが有効だと、誰でもAWSの一時認証情報を取得できる：AI攻撃ツールARTEXの事例と確認したい設定3点

AIで攻撃を自動化する道具 ARTEX が、AWS のログイン機能 Cognito の設定の甘さを突いていた。DevelopersIO によると、誰でも会員登録できる設定だと、登録で得た通行証（トークン）をAWSの一時的な鍵に換えられる。今回は鍵の権限が足りず被害は出なかったが、AIは拒否されても試行を続けていた。Microsoft が報告した ARTEX の攻撃を受け、登録の要否と鍵の権限を見直すよう勧めている。

AMD Launches EPYC Embedded 9006: Venice Gets an Early Start in Embedded

AMD が、サーバー向けCPU「EPYC 9006」の組み込み機器向け版を発表した。ServeTheHome によると、最大256コアで、半導体の試験装置や高性能なファイアウォール、ストレージ装置を狙う。サーバー版と違い、最低7年は供給が続くと約束している。出荷が始まったサーバー版と同時期に出たことで、長く使う専用機器にも最新世代が早く載る。

Backend

What we learned operating auth for 1,000+ APIs

外部APIとの接続を代行する Nango が、千種類規模のAPIのログイン処理を運用して得た教訓をブログにまとめた。鍵の更新で古い鍵がすぐ無効になる相手だと、保存の不具合が一度あるだけで利用者の再ログインが必要になる。失敗なのに「成功」の応答を返すAPIや、予告なく認証方式を変える例も多いという。API を提供する側に向けた改善の要望も10項目挙げている。

Formalizing US Tax Code (Using Lean)

米国の税法を、数学の証明を機械で確かめる言語 Lean に書き写した試みを Lexifina が公開した。AIが条文を Lean に訳し、条文同士の参照の矛盾や誤字を自動で洗い出した。指摘257件のうち138件が本物の不備だったという。既存の税計算ソフトの誤りも見つかったが、法律の専門家による確認はまだ受けていない。

It’s all about the allocator

Rust ではメモリの確保が目に見えにくく、AIが書くコードは無駄な確保を含みがちだと、著者がブログで論じた。例えば毎フレーム文字列を作り直したり、成功時にも使わない文字列を作ったりする処理が遅さの元になる。Zig では、メモリを確保する関数は確保役を引数で受け取る決まりだ。引数を見ればコストが分かるため、気づきやすいと主張している。

Writing a DSL for high performance parallel programming in OxCaml

金融取引の Jane Street が、並列計算を書きやすくする専用の小さな言語を自社ブログで紹介した。CPU が1命令で複数の値を同時に処理する機能は速いが、手書きは難しく、CPU の種類ごとに書き直しが要る。新しい言語では「出力1個の計算」だけを書けば、ループは自動で組み立てられる。初期の測定では、手書きのC言語に迫る速さが出ているという。

Claude Codeを並列で回すとsettings.jsonが壊れる問題を、mkdirロックとアトミック書き込みで止める

Claude Code を十数本以上同時に動かすと、同じ設定ファイルへの書き込みがぶつかって壊れる。Qiita の記事は、この問題をシェルの基本機能だけで防ぐ方法を示した。フォルダ作成は「1つしか成功しない」性質があり、これを順番待ちの札に使う。設定は一時ファイルで検証してから置き換えるが、それだけでは他の変更が消えるとも検証している。

Frontend

国産SaaSの致命的欠点「アプリ」 AIより先に手を付けるべきでは？

国産の業務向けクラウドサービスは、AIより先にスマホアプリを直すべきだと ASCII.jp の筆者が論じた。大画面のスマホで業務アプリを整理したら、アプリで残ったのは海外製ばかりだったという。国産のアプリはメニューが多く、必要な情報にたどり着きにくいと指摘する。力を入れないなら、不正アクセスの入口になる前にアプリをやめる手もあるとしている。

「Error: Expected key descriptor but found "" in ""」 RTLでinput type=“number”のデフォルト値0を消す

数値の入力欄の初期値0を、テストの中で消す方法を Qiita の記事が紹介した。React の画面を試験する道具では、何も触らないと0が入ったままで「未入力」の状態を作れない。記事は、入力を空にする操作を明示的に書くやり方を2通り示している。未入力時のエラー表示を確かめたい場面で役に立つ。

Products

Thunder

AIアプリ向けに作られた、キーと値の組でデータを保存するデータベース。Product Hunt の紹介によると、Rust 製で、CPU のコアごとに担当を分けて処理を詰まらせない。メモリだけに頼る従来型と違い、高速なSSDを使ってデータを消さずに残す。まだ試作段階で、データを大量に扱うAIアプリの開発者向けだ。