NVIDIA 的 刚发布的PAIR 已经允许把家庭或办公室网络里的 RTX PC、DGX Spark 和 Mac 组合成一个本地 inference cluster， 并把多个独立 Agent 请求自动路由到空闲设备；提示词、文件和 Agent context 可以留在本地网络。 各节点并行承担不同请求。 同时ASUS 前天发布的 RTX Spark ProArt 笔记本声称可在本地运行最高约 120B 参数模型。 所以 AI PC 的发展越来越像让一个家庭/小公司拥有自己的 mini-cloud。 这会改变云端 Agent 与本地 Agent 的成本边界。

Jiangxi Hongban Technology: Proactively Entering the New Track of AI Computing Power PCBs with Robust Production and Sales Momentum 江西红板科技：主动切入AI算力PCB新赛道，产销两旺势头十足。 #China# #Jiangxi# #赣出新精彩#

很多人把 Agent 用不好，不是模型差，是循环没搭好 Anthropic 这篇把 turn-based、goal-based、time-based 还有 proactive loops 拆开讲清楚了 短任务怎么停，长任务怎么设验收，重复任务什么时候该交给 schedule，边界都写得很明白 以后谁还把 Agent 当一次性聊天框，用起来会越来越亏.

因为我过早（2008年）就投入苹果的怀抱，所以这近20年对 Windows 基本没有什么了解。 直到本月因为给某厂做培训，才意识到，其实微软有些东西很先进。 就比如说，Rust 里的 async/await ，这种让异步代码写起来、读起来几乎和同步一样的优雅特性，是 C# 率先带入主流（2012）的。 再比如 IOCP，它的 proactor 完成模型比 Linux io_uring 早多了。 这些我之前也知道，但当时我并未因此意识到微软的先进性。 但当我知道这个 IOCP 在 1993 年就随 Windows NT 3.1 引入的时候，我就有点惊到了。 因为在我脑子里，微软/Windows 相比于 Linux/Macos 都是落后的代表 。。。 然后我又发现 TypeScript 是 2012 年开始给动态语言补渐进类型的路数。。。 LSP 是 2016 年 。。。 最牛逼的是 COM 的 ABI 思路了，领先业界 30 年 。。。 继续深挖还发现了不得了的事 ， 微软研究院 90 年代末做的 Singularity/Midori，用 Sing#(C# 变体)写的实验操作系统，靠类型系统保证隔离而不是硬件 MMU，里面已经有线性类型和所有权语义的影子。 它比 Rust 早十年在探索"用类型系统替代运行时安全检查"这条路。 惊到了。 还有 Simon Peyton Jones （Haskell 的核心作者之一），在微软研究院待了二十年。GHC 的很多演进是微软发工资做的。 从某种意义来说， Rust 的 trait/类型类的血统里，流着微软研究院的钱😆 随着深挖，我逐渐意识到，微软有一个别人长期没有的东西： 一个真正做研究的实验室，和一条把研究成果推进产品的通道。