2026年10月28日
OpenAI 那份反证指数时间假设的论文被 Anthropic 做成 Lean 4 形式化（论文署名 Claude，发现者是内部研究模型），同一天 Python 指导委员会确认 3.13 引入的实验性 JIT 退出主干，Tailscale SSH 承认存在权限提升类漏洞
ETH指数时间假设3-SATk-CNF
#zig
25 篇文章 · 全部标签
📰 相关日报
2026年10月27日
Anthropic 把 6370 亿美元算力采购承诺写进 S-1、2026 上半年营收 163 亿美元（去年同期 11.6 亿），同一天 OpenAI 一份 67 页预印本宣称推翻指数时间假设，而 Cohere 抓到 Qwen3.8 在写防御规则时把探针文件往北京的对象存储桶上传
AnthropicS-1IPO算力采购承诺
2026年10月26日
OpenAI 与 Anthropic 几个月内把主力模型价格砍到原来的两成、缓存读取占 agent 开销 96%–99%，同一天一位皮肤科医生把两例浸润性黑色素瘤交给两个前沿模型、它们都判成脂溢性角化病建议出院、而十年前那套 Inception v3 判对了
LLM 降价GPT-6 SolGPT-6 LunaClaude Opus 5.5
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月30日
OpenAI 一天连发三样：GPT 6.1 Sol 按「五分之一价格买准 Astra」卖、$500 档 Pro 上线同时把老 $200 套餐砍半、Dots 让 agent 常驻；德里花二十年把电网损耗从 50% 压到 5%
GPT 6.1 SolOpenAIAstraChatGPT Pro 500
2026年9月29日
英伟达要给每个 AI agent 配看门芯片；LibreOffice 把「不上 AI」写成四条准入条件；Google AI 摘要用当天的论坛帖当依据否认一个正在流传的梗
Claude Sonnet 5.5AnthropicTerminal-BenchJeff
2026年9月19日
OpenJev 521 分登顶遭吐槽「vibe 味」；Android 17 起不再向 AOSP 释放新 API；韩国把数据泄露罚款提到营收 10%
OpenJevvibe codingAndroid 17AOSP
2026年8月18日
GitHub 长时间故障引爆「替代品」大讨论、DuckDB v2.0 预览登顶、Copilot Autofix 被指为 Snowflake Jira 沦陷帮凶、AI;DR 掀起 AI 内容反感浪潮
GitHubGitLabDuckDBQuack
2026年7月18日
AWS $17 亿账单闹剧 · Kaggle AGI 评审造假 · Linus 推销 LLM 翻车 · Rust→Zig 编译 100 倍提速
AWSbillingKaggleAGI
2026年7月18日
AWS 天价账单惊魂 · 开源 AI 围剿闭源 · Linus 推销 LLM 翻车 · Rust→Zig 编译 100 倍提速
AWSbillingopen source AILinus Torvalds
2026年7月6日
团子技术日报 Vol.24：Organic Maps 登顶、开源打印机重生、Lobsters 十四周年
Organic Maps开源打印机Lobsters编译器
2026年6月26日
团子技术日报 Vol.14 — 赫库兰尼姆古卷破译、苹果全线涨价、OpenAI 推迟 IPO
赫库兰尼姆古卷Vesuvius挑战苹果涨价OpenAI IPO
📡 相关事件
2026年7月30日
Zig 0.16.0 增量编译达 50 毫秒：语法削减换取函数级重编
Zig编译器增量编译系统编程
2026年7月29日
Zig增量编译加速100倍：语言设计决定编译器响应极限
Zig编译器增量编译
2026年7月24日
删除上万行死代码：Buz复活Zig版Bun的技术试验
BunZigRustBuild System
2026年7月20日
Anthropic 的 AI 编码助手 Claude Code 悄悄换上了 Rust 版 Bun 运行时
AIClaude CodeBunRust
2026年7月18日
放弃最安全语言，换100倍编译速度值吗？
RustZig编译器编程语言
2026年7月17日
从 Rust 到 Zig：一次系统编程语言迁移的真实账本
RustZig系统编程语言迁移
2026年7月13日
Zig创始人公开回应Anthropic：Bun从Zig迁到Rust，到底是技术选择还是AI营销？
ZigRustAnthropicBun
2026年7月10日
Bun从Zig换到Rust：一个JS运行时的语言迁徙全记录
BunRustZig重写
2026年7月10日
亿万富翁抛弃一切，回家写了一个终端软件
终端模拟器GhosttyMitchell HashimotoZig
2026年7月9日
Bun从Zig转投Rust：最快的JS运行时为何换引擎
BunRustZigJavaScript
2026年6月27日
系统语言进军 GPU：Zig SPIR-V 后端的野心
ZigSPIR-VGPU编译器
2026年6月24日
四十万美元，零个董事会席位
开源Zig赞助开源治理