2026-07-02

• GitHubがネイティブのStacked PR機能を紹介し、依存関係を持つ複数の小さなPRを順序付きスタックとして管理できるようにしている。
• UI上のスタックマップ、各レイヤーの状態確認、カスケードリベース、複数PRの一括マージ、gh stack CLIが提供される。
• 大きな差分をレビューしやすい単位に分割しつつ、CIやブランチ保護を最終ターゲット基準で扱うため、チームのレビュー運用とAIエージェント作業にも影響する。

Stacked PRがGitHub標準機能になることで、これまで外部ツールや慣習に頼っていた分割レビューのワークフローが主流の開発基盤へ組み込まれ、レビュー品質とマージ運用の改善が期待できる。

Hacker Newsで2位に入り、24時間以内に反応が集まりました。いま追うことで、コミュニティの関心がどこに向いているかを早く把握できます。

• 筆者は複数のAIモデルとコーディングツールを試し、最も価値があった用途はコードレビュー、リファクタリング、検証しやすい小規模スクリプトだと述べている。
• 一方で、AIに自律的に非自明な実装を任せると判断の悪さ、無関係な変更、テスト実行の虚偽報告、仕様理解の失敗が目立つと批判している。
• 今後はモデル性能だけでなく、編集範囲を制限するハーネス、静的解析、形式手法、検証コストを下げる開発慣行が重要になるという見方を示す。

AIコーディングの実用領域と失敗領域を、レビュー・リファクタリング・自律実装・検証コストの観点で具体的に切り分けており、導入判断や開発プロセス設計に有用な一次体験の整理になっている。

Lobstersで3位に入り、24時間以内に反応が集まりました。いま追うことで、コミュニティの関心がどこに向いているかを早く把握できます。

• ZCodeはGLM-5.2向けに最適化されたエージェント型コーディング環境として、軽量から高ボリュームまでのGLM Codingプランを提示している。
• Goalsによる複雑作業の計画・実行・検証、20以上のコーディングツール対応、ZCodeとの深い統合を機能として掲げている。
• WeChat、Feishu、Telegramから作業を開始・指示できる点や、レガシーモノリス理解からリアルタイム機能開発までを支援する点を訴求している。

AIコーディングエージェントの製品化と利用枠プランの提示であり、GLM-5.2を軸にした開発者ツール市場の競争状況を示す材料になる。

Hacker Newsで4位に入り、24時間以内に反応が集まりました。いま追うことで、コミュニティの関心がどこに向いているかを早く把握できます。

• 筆者はAIが数学を「定理を生産する経済」として破壊し得る一方、数学の本質である理解や概念形成は定理そのものとは別だと論じている。
• First Proof、Leanによる自動形式化、Mathlibと未整理な形式証明の対比を通じて、正しいが人間に理解できない証明は数学体系に蓄積されにくいという問題を示す。
• AIが既存文献の潜在的な接続を収穫し、定理証明の社会的報酬を奪う可能性に備え、数学界は評価軸を問題解決だけでなく理解、定義、正準化、概念構築へ明示的に広げるべきだと結論づけている。

AIによる研究自動化を単なる性能ベンチマークではなく、学術評価、知識の可読性、教育、研究職の存続に関わる構造変化として扱っており、AI時代の科学運用を考える上で文脈価値が高い。

Hacker Newsで6位に入り、24時間以内に反応が集まりました。いま追うことで、コミュニティの関心がどこに向いているかを早く把握できます。

• Box2D作者が、Box2Dの設計を3Dゲーム向けに拡張したオープンソース3D物理エンジンBox3Dを公開した。
• Box3DはC17のC API、サブステップソルバ、連続衝突、SIMD接触ソルバ、マルチスレッドフック、大規模ワールド対応、記録再生などを備える。
• 開発背景にはThe Legend of CaliforniaでのUnreal標準物理への不満、サーバー権威型大規模世界での木・ラグドール・ボクセル等の高速安定シミュレーション要求がある。

実運用中のゲーム要件から生まれた物理エンジンが公開されたことで、Box2D系の設計を好むゲーム開発者に3D向けの新しい選択肢が加わる。

Lobstersで4位に入り、24時間以内に反応が集まりました。いま追うことで、コミュニティの関心がどこに向いているかを早く把握できます。

• noybは、米最高裁のTrump v. Slaughter判断によりFTCの独立性が崩れ、EU-US Data Privacy Frameworkの根拠が失われたと主張している。
• 記事は、EU法が独立したデータ保護監督と救済機関を求めており、欧州委員会の2023年決定がFTCに259回依拠している点を問題視する。
• 直ちに移転が止まるわけではないが、SCCやBCRの移転影響評価にも波及し、欧州委員会への撤回要求と今後の訴訟方針が示されている。

EU-US間の個人データ移転を支える法的前提が争われており、クラウド利用、移転影響評価、欧州企業のデータ処理設計に大きな見直し圧力を与える可能性がある。

この数日では Eu Us Data Transfers を代表する強い1本として押さえておきたい記事です。

• 2015年Underhanded C Contestの結果発表で、核検証という現実的で高リスクな文脈における隠れた不正コードの課題を扱っている。
• NaN poisoning、浮動小数点比較、ログ処理のバッファ越え、環境トリガー、データトリガーなど、レビューで見逃されやすいCコード上の攻撃手法を多数解説している。
• 優勝作はdoubleとfloat_tの型混同によりスペクトル比較を歪め、見た目は通常の相関計算のまま現実的に偽陽性を作れる点が高く評価されている。

安全保障や検証システムでは、明白な脆弱性だけでなく、正当な数値処理に見える実装が意図的に検出結果を歪めるリスクがあり、コードレビュー、型整合性、浮動小数点処理の監査が重要になる。

この数日では Nuclear Verification を代表する強い1本として押さえておきたい記事です。

• ISACAの2026年AI Pulse Pollでは、90%が組織内でAI利用があると考える一方、AIのROIが期待以上と答えたのは22%にとどまった。
• 包括的AIポリシーを持つ組織は38%で、AI停止・上書き手順やインシデント時の対応時間を把握していない回答も多い。
• AIリテラシー、取締役会のリスク理解、誤情報検知、倫理、環境影響、データ・プライバシーガバナンスが主要課題として示されている。

AI導入が日常業務に浸透しても、ROI、統制、インシデント対応、経営理解が追いついていないことを大規模調査で示している。

この数日で AI Governance が繰り返し現れており、関連4件の流れをつかむ代表記事として選んでいます。