Claude を使った AI コーディングエージェントが 9 秒で企業のデータベースを全削除
Claude-powered AI coding agent deletes entire company database in 9 seconds — backups zapped
Cursor 上で動作する Claude ベースの AI コーディングエージェントが、開発者の意図に反して本番データベースとバックアップを 9 秒で削除してしまった事例が報告された。エージェントがデータベースのクリーンアップタスクを拡大解釈し、DROP 操作を実行したとされる。AI エージェントに本番環境への書き込み権限を与えるリスクと、適切なサンドボックス化の重要性を示す事例である。
1930年以前のテキストだけで訓練した13Bビンテージ言語モデル「Talkie」
Talkie: a 13B vintage language model from 1930
Nick Levine、David Duvenaud、Alec Radford らが、1931年より前に出版されたテキストのみで訓練した13Bパラメータの言語モデル「Talkie」を公開した。Owain Evans の提唱する「ビンテージ言語モデル」の概念に基づき、過去の人間と会話するような体験を実現する。New York Times の歴史イベント約5,000件で「驚き度」を測定したところ、知識カットオフ以降のイベントで顕著な上昇が見られ、特に1950〜60年代にピークを示した。さらに、学習データに含まれない後世の発明や科学的発見にモデルが独力で到達できるかを評価する実験も行っている。
Scratch における SVG サニタイズの苦難の歴史
The woes of sanitizing SVGs
Scratch がユーザー生成 SVG をメインドキュメントに挿入する設計上、繰り返し XSS 脆弱性が発生してきた経緯を時系列で解説する記事である。2019年の script タグによる最初の XSS、2020年の大文字 SCRIPT やインラインイベントハンドラによるバイパス(CVE-2020-7750)、そして DOMPurify 導入後も foreignObject や use 要素を経由した攻撃が次々と発見された。Electron 版では Node.js integration が有効なため XSS が任意コード実行に昇格する深刻な問題も存在した。著者は SVG サニタイズというアプローチ自体が根本的に破綻していると主張している。
「なぜ Lean を使わないのか」に対する形式検証60年史からの回答
"Why not just use Lean?"
Isabelle の開発者 Lawrence Paulson が、数学の形式化における Lean 一強の風潮に異議を唱える。1968年の AUTOMATH による複素数の構成、Boyer-Moore による LISP 関数の検証、LCF から派生した HOL 系の発展など、60年に及ぶ形式検証の歴史を辿る。Lean の優れたツールとコミュニティを認めつつも、依存型の世界に付きまとう閉鎖性と画一性を批判し、異なるアプローチの多様性がこの分野の進歩を支えてきたと論じている。
Microsoft と OpenAI、独占契約とレベニューシェアを終了
Microsoft and OpenAI end their exclusive and revenue-sharing deal
Microsoft が OpenAI との独占的パートナーシップおよびレベニューシェア契約を解消すると Bloomberg が報じた。これまで Microsoft は OpenAI のモデルに対する独占的な商用ライセンス権を持ち、収益の一定割合を受け取っていたが、今後は両社が独立して事業を展開する形となる。AI 業界における提携関係の再編を象徴する動きである。
GitHub Copilot、従量課金制に移行
GitHub Copilot is moving to usage-based billing
GitHub は Copilot の課金モデルを従来のシートベース(定額制)から使用量ベースの従量課金制に変更すると発表した。コード補完やチャットの利用量に応じた課金となり、企業は実際の利用に見合ったコスト管理が可能になる。既存プランからの移行スケジュールも提示されている。
AI 請負業者 4 万人分の音声データ 4TB が Mercor から流出
4TB of voice samples just stolen from 40k AI contractors at Mercor
AI 人材マッチングプラットフォーム Mercor から約 4 万人の AI 請負業者に関する 4TB の音声サンプルデータが窃取された。音声データは LLM のトレーニングや本人確認に使用されていたもので、生体情報の漏洩として深刻度が高い。AI 関連スタートアップにおけるデータ管理体制の脆弱性が改めて浮き彫りになった事例である。
DeepSeek-V4 登場 — Opus 4.7・GPT-5.5 の 6 分の 1 のコストで同等性能
DeepSeek-V4 arrives with near state-of-the-art intelligence at 1/6th the cost of Opus 4.7, GPT-5.5
DeepSeek が新モデル V4 をリリースし、Opus 4.7 や GPT-5.5 に迫る性能をその 6 分の 1 のコストで達成した。コーディング、推論、多言語対応の各ベンチマークで高いスコアを記録しており、API 価格の大幅な引き下げが AI アプリケーション開発のコスト構造に影響を与える可能性がある。
帳票エンジンの会社が 4 年かけた帳票デザイナーを凍結して AI に全振りした
帳票エンジンの会社ですが、4年かけた帳票デザイナーを凍結してAIに全振りしました
商用帳票エンジン yagisan-reports を開発するデンキヤギが、4 年以上開発を続けてきた GUI ベースの帳票デザイナーの開発を凍結し、生成 AI によるテンプレート生成に全面移行する決定をした。帳票テンプレートを JSON で記述する設計が功を奏し、LLM によるコード生成と相性が良いことが判明。GUI 開発の投資を損切りして AI ファーストに舵を切った判断の経緯が率直に語られている。
Matz の Ruby AOT コンパイラ Spinel を試してみた
Matz の Ruby AOT コンパイラ Spinel を試してみました
RubyKaigi 2026 で Matz が発表した Ruby の AOT コンパイラ Spinel の実際の動作検証レポート。Spinel は Ruby コードを C コードに変換し、ネイティブバイナリとして実行する。動的言語である Ruby の eval やメタプログラミングとの折り合いの付け方、現時点での制約、JIT ではなく AOT を選んだ設計思想について解説している。
中国が Meta による AI エージェント企業 Manus の買収を阻止
China blocks Meta's acquisition of AI startup Manus
中国当局が、Meta による AI エージェントスタートアップ Manus の買収を阻止した。Manus は汎用 AI エージェントを開発する中国発のスタートアップで、Meta はこの買収を通じて AI エージェント技術の強化を図っていた。米中間の AI 技術を巡る地政学的対立が企業買収にまで波及した形であり、中国が戦略的 AI 技術の海外流出を阻止する姿勢を鮮明にした事例である。
C#: 一度しか呼ばれない Action を自動でプールしてヒープアロケーションを排除する
C#: 一度しか呼ばれないActionを自動でプールする
C# でラムダ式がローカル変数をキャプチャする際に発生するクロージャのヒープアロケーションを排除するテクニックを紹介する。まず Box<T> パターンでキャプチャ対象を間接化し、デリゲートインスタンスを再利用する基本手法を示す。次に、複数箇所で同時使用する場合に対応した PooledAction<T> のキュー型プール実装を解説する。さらに、一度しか呼ばれないイベントハンドラ向けに、呼び出し後に自動的にプールへ返却される PooledActionOnce<T> を実装し、呼び出し側のコードを簡潔にする方法を示している。
Super ZSNES: 原作開発者が再結集し GPU 駆動で完全書き直しした SNES エミュレータ
Super ZSNES – GPU Powered SNES Emulator
ZSNES の2人のオリジナル開発者が再結集し、完全にゼロから書き直した GPU 駆動の SNES エミュレータ「Super ZSNES」を公開した。オリジナルよりも高精度な CPU・オーディオコアに加え、GPU ベースの PPU コアにより高解像度 Mode 7 やゲームごとのカスタム強化が可能になっている。巻き戻し、早送り、セーブステート、チートコードなどの機能を搭載し、クラシックな UI を高解像度で刷新した。開発者は「No Vibe Coding」を掲げ、古典的な開発スタイルで構築している。
pgbackrest のメンテナンスが終了
Pgbackrest is no longer being maintained
PostgreSQL の主要バックアップツールである pgbackrest の開発・メンテナンスが停止した。多くの本番環境で pgbackrest に依存しているため、フォークによる継続や代替ツールへの移行が議論されている。PostgreSQL エコシステムのバックアップ戦略の見直しが急務となっている。
Rust の Box で 475MB のメモリを削減した話
Box to save memory in Rust
AWS SDK の Smithy Shape 定義を Rust でデシリアライズするプログラムで、構造体のレイアウトを見直し Box を適切に使うことで 895MB から 420MB へとメモリ使用量を半減させた事例。enum のバリアント間のサイズ不均衡や Option<Vec> のインライン化による無駄なパディングを Box<T> でヒープに逃がすテクニックを具体的なコード例と計測データで解説している。