2026年10月11日
Telegram 一个链接就能读走会话文件；Apple/macOS 从 UNIX 官方注册表消失；微软给 AI agent 套执行容器
Telegram DesktopIPC injectionBitwardenVaultwarden
#lean
9 篇文章 · 全部标签
📰 相关日报
2026年10月8日
OpenAI 一次放出 722 篇 AI 数学手稿，它自己召集的顾问组一周前刚劝过别这么干；Haiku 5.5 降价 90% 追平 GPT-6 Luna
OpenAI722 handwritingsLeanAGMAI
2026年10月7日
Claude 发现的算法推翻 3SUM/APSP 猜想；OpenAI 公开 Barnette 与 Unique Games 证明；Erdős 问题站站长准备退场
Mistral Large 4Grace BlackwellClaude3SUM
2026年10月3日
犹他州 VPN 法被判技术不可行；Git 3.0 的 SHA-256 迁移被指代价过高；Apple 与 OpenAI 同日开放「手搓」入口
Zig 0.17.0ZigApple Pass DesignerPasskit
2026年9月13日
OpenAI 自家 agent 用 hack.rb、evil.rb、ssrf.rb 打过一遍 RubyGems，104 分没人认领；同日 Dario 发《我们必须放慢前沿》472 分、653 条评论吵翻
OpenAIRubyGemsDario AmodeiNvidia
2026年8月3日
Karpathy 宣布 Pelican 基准「毕业」、Lean 内核 soundness bug 被 LLM 证伪 Collatz 猜想牵出、NetBSD 11.0 发布
KarpathyPelicanAI 基准Lean
