归档 - 个人成长抓手

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

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

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

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

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

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

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

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

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

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

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

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

协会走访｜AI智能体赋能农业数字化　民悦数字农业构建农业信息生态

协会走访｜AI智能体赋能农业数字化　民悦数字农业构建农业信息生态

8月24日，文山州互联网协会会长带队走访文山民悦数字农业科技有限公司，调研AI智能体在客户服务、内容生产、知识服务与团队协同中的落地应用。

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

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

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

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

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

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

驾照背面的签名，一直没人能验证

驾照背面的签名，一直没人能验证

美加多州驾照条形码里其实有 ECDSA 签名，但公钥从未公开，作者用数学方法反推出两个州的公钥。

一个临时补丁活了十二年，被装了两千万次

一个临时补丁活了十二年，被装了两千万次

2014 年为升级 AOL 内容管理系统写的 174 行兼容代码，如今被安装近两千万次，里面还藏着一个吃掉字母的缺陷。

十万张国产加速卡上，跑起了一个推理服务

十万张国产加速卡上，跑起了一个推理服务

智谱回顾如何在超过十万张国产加速卡的集群上，从零搭出 GLM-5.3-Flash 的生产级推理服务。