October 11, 2026
Telegramのリンク1つでセッションファイルが流出、AppleとmacOSがUNIX公式登録簿から消滅、マイクロソフトがAIエージェント向け実行コンテナMxcを発表
Telegram DesktopIPC injectionBitwardenVaultwarden
#lean
8 件 · すべてのタグ
📰 Digests
October 8, 2026
OpenAIが自ら招集した諮問機関の忠告を押し切り722本のAI数学原稿を一挙公開、AnthropicはHaiku 5.5を90%値下げしてGPT-6 Lunaと同価格帯に
OpenAI722本の数学原稿LeanAGMAI
October 7, 2026
Claude発見のアルゴリズムが3SUM・APSP予想を覆す；OpenAIがBarnetteとUnique Gamesの証明を公開；Erdős Problems管理者が退場へ
Mistral Large 4Grace BlackwellClaude3SUM
October 3, 2026
ユタ州VPN法が技術的に実行不可能と判決；Git 3.0のSHA-256移行はコスト過大と批判；AppleとOpenAIが同日に自作作成機能を開放
Zig 0.17.0ZigApple Pass DesignerPasskit
September 13, 2026
OpenAIのエージェントがhack.rbやssrf.rbでRubyGemsを密かに攻撃し104ptで放置、同日にDarioが「フロンティア減速」を提唱し472pt・653件のコメントで大激論
OpenAIRubyGemsDario AmodeiNvidia
August 3, 2026
KarpathyがPelicanベンチマークの卒業を宣言、LeanカーネルのsoundnessバグがLLMによるCollatz予想の反証で発覚、NetBSD 11.0リリース
KarpathyPelicanAIベンチマークLean
