$8,000未満
Ataraxosの学習コスト、DeepNash($300万〜450万)の最大500分の1の計算量で人類最強プレイヤーに15勝
24.7%
Zig 0.17.0のSafeAllocatorで標準ライブラリテストのビルド時間を短縮(29.4秒→22.1秒)
54.3万件
Truffle SecurityがGitHub公開リポジトリから発見した有効な認証情報の件数、最長16.1年有効
🔥 Top Stories
チェスや囲碁と異なり、相手の駒が見えない不完全情報ゲームのStrategoは長年AIに抵抗してきた最後の盤上ゲームの一つだった。Carnegie Mellon・NYU・Stanford・MITの研究チームが開発したAtaraxosは、Stratego史上最多の受賞歴を持つPim Niemeijer氏との20番勝負で15勝1敗4分を記録し、この牙城を崩した。技術的に注目すべきは学習コストで、H100 GPU16基を1週間使うだけで学習が完了し、総額は8,000ドルを下回る。これは2022年の前世代AI「DeepNash」の推定300万〜450万ドルと比べて計算量で約500分の1、自己対戦ゲーム数で約30分の1、学習データ数で約100分の1にまで圧縮された計算効率を意味する。研究チームはこの効率化を特定ゲーム向けの個別最適化ではなく汎用的なレシピとして設計した点を強調しており、同じ手法を使い勝ちルールの異なる「Barrage Stratego」に適用したところ、歴代世界チャンピオン3名を相手にした50試合制の対戦でも超人的な成績を記録、さらに協力ゲームのHanabiや中国のトランプゲーム斗地主でも最高性能を達成したという。不完全情報下での意思決定という共通構造を持つゲーム群に対し、同一の学習レシピが転用可能であることを示した点が、単発の記録更新以上の意味を持つ。
🧠 500分の1という圧縮比は、強化学習のself-play系AIがもはや数百万ドル規模の予算を持つ研究機関の専有物ではなくなったことを示す好例だろう。ただし今回の数値はStratego・Barrage Stratego・Hanabi・斗地主という比較的ルールが明確なゲーム群での結果であり、現実世界の不確実性(ノイズの多い観測、連続的な行動空間)を含む問題への転用可能性はまだ検証されていない。論文の査読状況も現時点では不明で、追試による再現性の確認を待ちたい。
- 20番勝負で15勝1敗4分、対戦相手はStratego史上最多の受賞歴を持つPim Niemeijer氏
- 学習はH100 GPU16基で1週間、コストは8,000ドル未満。DeepNash(推定300万〜450万ドル)と比べ計算量で約500分の1、自己対戦ゲーム数で約30分の1、学習データ数で約100分の1
- 同じレシピをBarrage Strategoに適用し歴代世界チャンピオン3名への50試合制で超人的成績、Hanabi・斗地主でも最高性能を記録
💡 ゲーム特化のAI研究に限らず、不完全情報下での意思決定を扱うエージェント開発において、学習コストを数百分の1に抑える設計パターンが参考になる可能性がある。
MIT News
⏱ 4 min read
2026-09-30
Zigチームは5ヶ月・206人のコントリビューターによる925コミットを経て0.17.0を公開した。ビルドシステムは設定ロジックと実行を分離する形で再構築され、IDE等がビルドグラフを監視・制御できるBuild Server Protocolを新設。設定はコンパクトなバイナリ形式でシリアライズされキャッシュヒット時の性能が向上した。改良されたELFリンカのおかげでx86_64-linux環境のインクリメンタルコンパイルが実用段階に達し、`-fincremental --watch`でほぼ即時の再ビルドが可能になった。1.0に向けては約25件の言語提案を採択、125件を却下している。
- ビルド設定をバイナリ形式でキャッシュしキャッシュヒット時5-10%高速化。新ELFリンカがstatic/sharedライブラリ・GOT生成・DWARFに対応し`-fincremental --watch`での近インスタント再ビルドを実用化
- `SafeAllocator`導入で標準ライブラリテストのビルドが29.4秒→22.1秒(24.7%短縮)、ピークメモリは2.24GB→1.11GB(50.3%減)。LLVM 22.1.8・glibc 2.44へ更新
Zig Blog
⏱ 3 min read
2026-10-02
▲ 186
ユタ州法SB73は、対象サイトにVPN利用者を全面ブロックするか、全訪問者の位置を実質完璧に特定しユタ州在住者でないことを確認するかの二択を義務づけ、VPNの使い方を案内する行為自体も禁じていた。連邦地裁は「現時点でのジオロケーション精度の完璧化は不可能」と認定し、法の執行を差し止めた。
- SB73は対象サイトにVPN利用者の完全ブロックか全訪問者の位置の実質完璧な特定の二択を義務化、VPN利用方法の案内提供自体も禁止していた
- 連邦地裁は「ジオロケーション精度の完璧化は不可能」と認定し執行を差し止め、事業者が全米でVPNアクセスを遮断するかユタ州から撤退するかの二択に追い込まれる懸念を解消
EFF Deeplinks
⏱ 2 min read
2026-10-02
▲ 452
⚡ Dev & Engineering
現状は`{N}`のような裸の値か完全に具体的な定数しかconst genericsで使えず、typenumクレートへの依存を強いてきた。GCA系機能は`gca!()`マクロ越しに式・構造体・enumをconstとして扱えるようにするが、記事は「どの機能もRFC提案に進められる完成度にはまだ達していない」と明言する。
- `gca_adts`は配列・タプル・構造体・enumの生成をconst位置でサポート、`gca_const_items`は関連定数を含むconst項をサポートし`gca_min_const_items`は複雑性回避のため`gca!(..)`内での使用に限定
- 現状は`type BarWrapper<const N: usize> = Bar<gca!(Foo { field: N })>;`のようにすべて`gca!()`マクロで包む必要があり、安定化はまだRFC化前の段階
Rust Blog (inside-rust)
⏱ 3 min read
2026-10-02
tarはファイルシステムの差分を表現する設計ではなく、OCIは`.wh.`プレフィックスを削除マーカーとして流用する約束事で対応している。BuildKitはローカルに文字どおり`.wh.*`という名前のファイルを含むイメージを作れてしまうが、OCI形式へのエクスポート・再インポートを経るとアンパッカーがそれを削除マーカーと誤認し消失する。
- OCIレイヤーは「それより前のレイヤーに適用されて初めて意味を持つファイルシステムの変更差分」であり、`.wh.oldfile`という名前のファイルが後続レイヤーにあると`oldfile`を削除する指示として解釈される
- BuildKitでローカルに`.wh.foo`という名前のファイルを含むイメージを作成できても、OCI形式でエクスポート・再インポートするとアンパッカーが削除マーカーと解釈し消失、ローカルのスナップショットと書き出し後のイメージで異なるファイルシステムになる
loige.co
⏱ 3 min read
2026-10-02
著者は2026年9月、安価なオープンモデルGLM 5.3 Flashのみで開発する実験を行った。前半は目標通り進み、成功タスクのコストは68ドル(電力消費4kWh、CO2排出365g)に収まったが、最適化不足のMCPサーバー試作で一晩のうちに450Mトークン・150ドルを消費し、プロバイダの容量制約でDeepSeek V4.1やQwen 3.8への切り替えを強いられた結果、20億トークンの半分しかGLM 5.3 Flashに回せなかった。
- 成功タスクのコストは68ドル・電力4kWh・CO2排出365gで、日常的な開発作業であればflash級の安価なモデル1〜2種に絞る運用は十分成立すると結論
- 比較した14モデル中、DeepSeek V4.1 Flashが精度95%・電力14.9Wh・タスク当たり0.09ドルで最高評価、最終的に20億トークンの半分のみが当初目標のGLM 5.3 Flashに配分された
Wagtail Blog
⏱ 3 min read
2026-10-01
著者は、AIが生成したコードに現れる`MutationIntent`のような非標準的な用語が、レビュアーに都度の意味確認を強い、見慣れない概念が数十個分積み重なると誤読のリスクが高まると指摘する。対策として、レビュー前にAIへ非標準用語の一覧化と意味の説明、代替語の提案をさせ、コードとドキュメント全体を一括で置換させる定型プロンプトを使う。
- 非標準用語が「数十個」分蓄積した時点でレビュアーの認知負荷が臨界点を超え、誤解釈のリスクが高まると指摘
- レビュー前にAIへ非標準用語の洗い出しと定義付け・代替案の提示をさせ、コード・ドキュメント全体に一括で置換を適用させることでレビュアー自身の語彙に合わせる
amoffat.github.io
⏱ 2 min read
2026-10-02
▲ 48
IANA副社長Kim Davies氏は、予約ドメインexample.comへの大量の自動アクセスによる帯域消費を抑えるため、ページをベースのHTMLと別出しのJavaScriptファイルに分割したと説明した。自動アクセスの大半はJSを取得しないため、全体のデータ転送量が減る。IANAはexample.comのHTTP提供を「厚意」の範囲と位置づけ、汎用的な可用性テスト用途は想定していないと明言している。
- ページをベースHTML + 別出しJSファイルへ分割し、自動アクセスの大半がJSを取得しないことを利用してデータ転送量を削減
- IANAはexample.comのHTTP提供を「要件ではなく厚意」と位置づけ、設定ファイルのコピー忘れ目的での利用は把握しつつ汎用可用性テスト用途は非対応と明言
oliverdunk.com
⏱ 2 min read
2026-09-30
▲ 137