魏子敬
阿里巴巴智能引擎技术专家、C++向量检索库Lumina负责人
阿里巴巴智能引擎技术专家,C++ 爱好者,算法竞赛爱好者,ICPC/CCPC Gold Medalist,工作研究方向包括时序索引、向量索引和分布式存储引擎,是阿里巴巴内部规模最大时序引擎 Khronos 的主要开发者,现在是智能引擎内部 C++ 向量检索库 Lumina 的技术负责人,支持了包括淘宝、天猫、闲鱼、菜鸟、高德等多个部门的向量检索业务。
演讲主题
Agentic Coding,系统如何持续演进?——阿里巴巴 C++ 向量检索库 Lumina 的 AI-Native 软件工程实践
Code is Cheap, Complexity is Not。Agent 让代码生成越来越便宜,但长期项目中的状态、契约、依赖和副作用不会随代码一起消失;代码库本身也会成为 Agent 的上下文。本次分享先讨论软件工程如何管理复杂性,以及 Modern C++ 的 Static Guarantees 能守住哪些边界;随后介绍向量检索从算法走向系统时的性能与演进难题。在此基础上,以高性能 C++ 向量检索库 Lumina 为例,讲述面向 Agent 的 Harness 如何组织项目知识与工程反馈,最后展示 Lumina 的能力、性能和后续开源计划。 大纲: 1. Agentic Coding 时代的软件工程 2. Modern C++ 与 Static Guarantees 3. 向量检索:从算法问题到系统工程 4. Lumina 的 Agent Harness 5. Lumina 的能力、性能与开源计划 听众收益: 1. 理解为什么“代码便宜了”不等于“工程简单了”:长期项目里的状态、契约和副作用,会怎样影响后续每一次修改。 2. 看看 Modern C++ 的 Static Guarantees 能帮我们守住哪些边界,又有哪些问题是编译期检查和agent都解决不了的。 3. 通过 Lumina 的实践,了解阿里主搜引擎团队怎么给 Agent 搭 Harness, 怎么在Agent时代做code review,以及Agent Review的一些局限性。 4. 了解向量检索系统的关键取舍,以及 Lumina 的主要能力、性能表现和后续开源计划。