科技笔记 - 个人成长抓手

当 AI 开始「自己研究」：研发加速意味着什么

当 AI 开始「自己研究」：研发加速意味着什么

一家前沿实验室晒出内部数据：研究者每天开的编码智能体越来越多，单位人力跑的实验也在涨。AI 落地最被低估的地方，是把「试错-迭代」的周期压短。

同一个车、两种卖法：CarPlay 之争里的数字体验

同一个车、两种卖法：CarPlay 之争里的数字体验

两家车企卖了几乎一模一样的车，一款带手机互联、一款不带，销量却差出三分之一到一倍多——消费者在用钱投票，给「软件体验」标了价。

把「云」装进一只瓶子里，让自托管不再只是工程师的副业

把「云」装进一只瓶子里，让自托管不再只是工程师的副业

个人也能有自己的「云手机」：容器化应用、统一登录、良好体验。自托管该像用智能手机一样简单，而不是一份让人头大的运维副业。

量子计算离「有用」还多远？IBM Nighthawk r2 的一个关键变化

量子计算离「有用」还多远？IBM Nighthawk r2 的一个关键变化

新一代量子处理器用「高速量子比特重置」把吞吐提了 25 倍，让纠错与动态电路向前迈一大步，仍未到取代经典计算机之时。

工具与变革：AI 真正改变企业，靠的不只是模型

工具与变革：AI 真正改变企业，靠的不只是模型

大公司里软件成堆、琐事依旧；AI 的革命不是一键换掉一切，而是让「看得见机会的人」把藏在眼前的工作捡起来。

让代码可以被数学证明：形式化验证正在进入工程现场

让代码可以被数学证明：形式化验证正在进入工程现场

Verus 用数学规格检查 Rust 代码在所有输入下的行为，补上 unsafe 与并发两处短板，也把错误从实现层挪到规格层。

两周上线一套推理服务：智能体优化系统的门槛不在代码，在反馈

两周上线一套推理服务：智能体优化系统的门槛不在代码，在反馈

十万张国产加速卡上的推理服务，从跑通到上线不到两周。真正的难点不是写代码，而是把端到端指标拆成可归因、可验证的反馈。

一笔 10 枚比特币的捐赠躺了三年：开源项目的钱，比代码更难管

一笔 10 枚比特币的捐赠躺了三年：开源项目的钱，比代码更难管

2023 年转入的 10 枚比特币，如今约值 80 万美元，却在一个开源项目的地址上躺了几年。收得到钱和管得了钱，是两回事。

长文档检索总答非所问，问题出在切块

长文档检索总答非所问，问题出在切块

Manticore 把切块做进数据库内部：在自家手册上实测，深处内容的召回率从 55.1% 提升到 83.3%。

相框听见鸟叫，画出两百年前的插画

相框听见鸟叫，画出两百年前的插画

树莓派加电子墨水屏，靠本地 AI 听声辨鸟，再把识别到的鸟变成十九世纪手工上色的鸟类图版。