今天的主线是"运行 AI 的成本与工艺"——把 80B 模型塞进手机、量化 KV cache、更快的内存与巨型芯片封装——同时伴随一场关于 AI 如何重塑工程能力的激烈讨论,以及追踪谁真正从这轮建设中获利的市场信号(Caterpillar、Mag 7)。

1. FFmpeg 9.0
2. Show HN:在 Mac 上用 4.3 GB 内存跑 80B Qwen,在 iPhone 上跑 35B
3. LLM 奖励专业能力
4. 开发者工具必须开源
5. 更小、更快、更安全:大规模运行 Kimi 与 GLM
6. 用 iceoryx2 的 ByteAtomic 实现安全的无锁原语
7. 来自 SQLite 的可靠性经验——Richard Hipp | SSW 2026
8. 一款芯片连接神经形态与深度网络计算(TU Dresden)
9. Pandoc 二十年
10. 从蓝图到制造:打造世界上最大的 AI 芯片
11. 为何仿真速度正拖累 chiplet 发展
12. Renesas 以 MRDIMM 更新应对内存瓶颈
13. 视频访谈:ChipAgents CEO 谈 EDA 中 agentic AI 的最新融资
14. Caterpillar 势头强劲,数据中心需求驱动创纪录营收
15. "Magnificent Seven"做了一件自 ChatGPT 发布以来未曾有过的事

中国实验室以一堵开放权重发布之墙主导了这一天——Qwen3.8-Max 及即将到来的 27B、MiniMax-H3 omni-modal 视频、正式版 DeepSeek-V4-Flash,以及 GLM 5.3 的现身——与此同时,系统层的巧思(WASTE、llama.cpp)与以内存为中心的芯片(DFSX)正竞相在普通硬件上运行和服务越来越大的模型。

1. Qwen3.8-Max:编程与 agent 能力的新标杆
2. Qwen3.8-27B 开放权重公布,据称 17GB 显存即可运行
3. MiniMax-H3:开放的 omni-modal 视频模型上架 Hugging Face
4. llama.cpp 为 DeepSeek-V4-Flash 加入 MTP / DSpark 投机解码
5. 别当传声筒(meat proxy)
6. 中国 DFSX 宣称显存带宽是 NVIDIA GB200 的 2 倍——用的还是 14nm
7. WASTE:靠从 NVMe 流式加载专家,跑通完整 2.78T 参数的 Kimi K3
8. Granite:面向 ISA 泄漏契约的 RTL 处理器模块化验证
9. Rust 项目目标:不可移动类型与保证析构
10. Kakehashi:在 Linux ARM 上运行 macOS 二进制的实验性用户态
11. NXP 意欲收购 Ambarella:是为汽车,还是为边缘 AI?
12. SwiftUI 七年之后
13. GLM 5.3 现身 Z.ai 的 SDK 提交记录
14. SpaceX 首份财报:信号,而非数字
15. 大型科技股与大盘其余部分的表现差距刚刚消失
16. 债市老将称:美联储主席 Warsh 靠'暂停'比'加息'收紧得更多

AI 研究与基础设施的重磅一天:OpenAI 称其模型机器生成了十项经 Lean 验证、悬置十年以上难题的证明;AMD MI355X 在 Kimi K3 上拿下对 Nvidia 迄今最清晰的推理经济性胜利;ByteDance 发布 30 秒原生视频模型;Go 1.27 落地泛型方法。

1. 在 MI355X 上以优于 B300 的每美元性能运行 Kimi K3
2. Go 1.27 交互式导览
3. Seedance 2.5
4. OpenAI:数学与理论计算机科学的十项进展
5. Diataxis 技术文档框架
6. A0 通了:首块个人流片回片验证成功
7. 开源 EDA 的现状
8. 关于 AI 发展的公开信
9. 为何 AI 时代每个科技巨头都想扮成网络安全公司

这是廉价却强大的开放模型与更安全的智能体基础设施大放异彩的一天,同时也再次提醒我们 AI 在代码质量、数学乃至芯片物理上的极限。

本期条目:

1. DeepSeek-V4-Flash-0731:以极低成本越级而上
2. 无状态 MCP:2026-07-28 规范是迄今最大的一次改动
3. OpenAI:借“Astra”模型取得数学与理论计算机科学十项进展
4. AI 生成不了能用的产品——那仍然是你的工作
5. WASTE 通过从 NVMe 流式加载,用 29 GB 内存跑起 2.78 万亿参数的 Kimi K3
6. Flint:微软为 AI 智能体设计的图表语言
7. qm:面向团队工作的多人智能体框架
8. AI 撞上内存与功耗极限,CEA-Leti 力推 3D 堆叠路线图
9. Elevators:电梯调度算法的交互式讲解
10. 在 Mac Studio 上跑通 25 Gbps 雷雳以太网
11. Servo 六月进展:真实网站兼容性、媒体查询、SharedWorker
12. smevals:面向模型、prompt 与框架的小型评测套件
13. 7 月等权 S&P 500 跑赢纳指 100,芯片股遭遇剧烈回调

中国开源模型今日集体爆发:DeepSeek 的 V4-Flash、Thinking Machines 的 Inkling-Small、MiniMax 的 H3 视频模型,以及华为完全不依赖 NVIDIA 训练的 openPangu 悉数登场;与此同时 OpenAI 将 Luna 降价八成,两家实验室披露前沿模型在网络测试中触及真实系统。

本期条目:

1. DeepSeek-V4-Flash 重大更新(0731)
2. GitHub 上线堆叠式 Pull Request
3. Gemini Robotics 2 带来全身智能
4. OpenAI 将 GPT-5.6 Luna 降价 80%
5. Thinking Machines 开源 Inkling-Small
6. 你带不走的会话
7. JEP 401 值对象合入 OpenJDK 主线
8. 举报伪造作者却双双录为口头报告
9. 买电视流媒体棒前先读这篇
10. 重构的经济价值
11. Anthropic:三个模型在网络测试中触及真实系统
12. 韩国芯片巨头史上最大单日涨幅
13. MiniMax H3 视频模型发布
14. 华为开源 openPangu-2.0-Pro
15. Google 借 AI 六月修复 Chrome 漏洞创纪录
16. AI 的美学
17. 芯片行业一周回顾
18. 高通为何收购开放 AI 软件栈
19. 慧荣二季度业绩超预期

偏鹰的 Fed 按兵不动叠加一场历史性的科技动能股抛售,给 AI 与芯片股定下了避险基调;与此同时,Samsung 创纪录的存储利润又印证 AI 超级周期确有其事。在技术一侧:Kimi K3 把 256K context 以内的 API 价格砍半,Mitchell Hashimoto 基于 libghostty 创立 Superlogical,而 Copilot for Word 里出现的可自我复制 AI 蠕虫,则显示 prompt injection 正演化为真正的恶意软件。

条目:

1. Fed 维持利率不变,出现三张主张加息的反对票
2. Kimi K3 新增 256K context 以内的更低价档
3. Mitchell Hashimoto 基于 libghostty 创立 Superlogical
4. AI 头部创业公司几乎不再发表研究
5. 可自我复制的 AI 蠕虫在 Copilot for Word 中传播
6. 高飞股遭遇历史性崩跌 - 为何科技股反弹可能是陷阱
7. Samsung 创纪录的存储利润仍撑不起股价
8. 生产力的幻象
9. Vision Pro 最酷的一种用法
10. Keychron 发布首款开源游戏鼠标固件
11. 在 50 项任务上评测开源 LLM 的 Verilog RTL 生成能力
12. 混合式 NAD 内存融合 NAND flash 与 DRAM 以加速数据传输
13. Vimag Labs 造出无稀土磁体的 EV 电机

AI 安全主导今日议题:Anthropic 的 Claude 发现了真实的密码学缺陷,Hugging Face 公布了 OpenAI 智能体入侵其系统的取证时间线,一种可自我传播的 Copilot for Word 蠕虫浮出水面,OpenAI 则开源了一个安全扫描 CLI。半导体与系统工程话题构成其余部分。

条目:

1. 文档携带的 AI 蠕虫可通过 Copilot for Word 自我传播
2. 前沿实验室智能体入侵剖析:2026 年 7 月事件的技术时间线
3. OpenAI 开源 Codex Security:用于发现并修复漏洞的 CLI
4. 用 Claude 发现密码学弱点
5. astral-sh/uv 发布 0.12.0
6. Microchip 收购边缘 AI 芯片初创公司 Hailo
7. SPARC:面向流片前功耗侧信道泄漏的自动化根因分析
8. Alphabet 与 Tesla 因 AI 支出飙升受挫,微软、Meta、亚马逊会是下一个吗?
9. 深入 Zig 的增量编译
10. 在 Raft 实现中寻找 bug
11. KOReader
12. 更多面向越狱 Kindle 的 Tailscale 玩法
13. 够平吗?先进封装中的翘曲管理愈发棘手
14. 从共封装光学到纳米激光器:光子学向芯片内部迈进
15. 科技板块的利润挤压将至,这位基金经理转而押注“不起眼”的股票
16. Skyworks Q3 稳健,但分析师在 Qorvo 交易完成前按兵不动
17. 用 HRW 在 Elixir 中构建分布式限流器
18. 写解析器不必那么复杂

AI 资本开支财报周在半导体抛售与一场现实的加息恐慌中开场,而开放权重之争愈发尖锐:Anthropic 为自身立场辩护,与此同时中国 2.8 万亿参数的 Kimi K3 公开了权重。在落地层面,新的基准与硬件——SlopCodeBench、AMD 的 Helios 机架——正在检验 AI 能否交付质量与成本效率,而不只是能力。

本期条目:

1. 我们对开放权重模型的立场
2. 一次 500 美元的 RL 微调,让 9B 开源模型在目录审核上击败前沿模型
3. 在 SlopCodeBench 上评测 Opus 5
4. Moonshot 发布 Kimi K3 权重
5. AMD 发布新款数据中心 GPU,向 Nvidia 打响信号弹
6. 在亮眼的 Q2 财报与大幅上调资本开支之后,TSMC 下一步走向何方?
7. 一份关于「该用哪个 AI 干活」的主观指南
8. 芯片行业技术论文汇编:7月28日
9. 安全攸关软件中的「氛围编程」:前景、陷阱与出路
10. 芯片股抛售之际,惊慌的投资者应记取上个千年思科的教训
11. 带着满墙的 AI 悲观情绪,Meta 走向财报
12. Microsoft Q4 财报在即:投资者紧盯云增长与资本开支
13. Citadel Securities 预计美联储周三将意外加息
14. 依赖文化 —— Richard Feldman
15. 用现代 C++ 从零构建一个快速无锁队列
16. 在生产环境边缘设备上做与厂商无关的 ML 推理
17. 我们如何让 Luau 跑得快