DeepSeek 同一天开源 3 个底层仓库：模型之下，正在长出一层'国产算力抽象层'
Posts
美的洗衣机 19 小时上传 411MB：智能家电到底在传什么？我拆了一遍数据链路
OpenAI 声称解出 NS 千禧年难题，数学家的指控比证明本身更炸：1 万个 AI 智能体、3000 亿 token，和一场没人见过的证明
Claude 11 天证明费马大定理：1300 万行 Lean、60 亿 token，但最该抄的是它的智能体协作平台
AI 助手每次开新会话就失忆？48 小时涨到 347★ 的 Go 项目，把记忆直接存进 Git
全球 Token 跌破 1 美元时，国产大模型反而把 API 涨价 3.6 倍：这场价格分裂，程序员该怎么站队？
AI 回答里没有你的产品？一个新的'平台税'正在形成，400★ 的 niubigeo 想让你看见它
Hugging Face 的机器鸭爆火后，我扒了它的代码：7 个 Rust 守护进程，比多数后端架构还讲究
43.7k star 的 archify：让 AI 画的架构图第一次“敢信”，但别指望它替你判断对错
6 天 6 千星、1/12 成本拿下 MLE-bench：PRAXIST 把「跑实验」变成了一门证据生意
