2026年10月28日
OpenAI 那份反证指数时间假设的论文被 Anthropic 做成 Lean 4 形式化（论文署名 Claude，发现者是内部研究模型），同一天 Python 指导委员会确认 3.13 引入的实验性 JIT 退出主干，Tailscale SSH 承认存在权限提升类漏洞
ETH指数时间假设3-SATk-CNF
#windows 11
8 篇文章 · 全部标签
📰 相关日报
2026年10月27日
Anthropic 把 6370 亿美元算力采购承诺写进 S-1、2026 上半年营收 163 亿美元（去年同期 11.6 亿），同一天 OpenAI 一份 67 页预印本宣称推翻指数时间假设，而 Cohere 抓到 Qwen3.8 在写防御规则时把探针文件往北京的对象存储桶上传
AnthropicS-1IPO算力采购承诺
2026年10月20日
PostgreSQL 19 撤回 8-10 个特性：AI 审查把质量线抬到代码写完之前；Lobsters 停用 vibecoding 标签；Mercury 3 每秒 1068 token 叫板 GPT-6 Luna
PostgreSQL 19revertLLM 代码审查Vulnpocalypse
2026年9月7日
Asahi Linux 官宣 M2/M3 支持开篇、反 LLM 写作檄文 464 分霸榜、Isar 官方确认二次飞行完整成功
Asahi LinuxM3CantrillAI slop
2026年8月10日
「AI 干的」成新式甩锅、Windows 天气应用吃 1GB 内存、zsh 历史丢失 bug 终于修复、Radicle 的 crypto 争议
Mea CulpaDark Hoursvibe codingzsh
