Workflow
函数式编程
icon
搜索文档
为什么 Claude Code 放弃代码索引,使用 50 年前的 grep 技术?
程序员的那些事· 2025-09-25 02:53
以下文章来源于腾讯云开发者 ,作者余志臻 腾讯云开发者 . 腾讯云官方社区公众号,汇聚技术开发者群体,分享技术干货,打造技术影响力交流社区。 目录 1 引言:一个看似倒退的选择 2 理解状态的本质 3 无状态思想的历史脉络 4 无状态设计的优势 5 现实的权衡 6 AI时代的新思考 当AI编程助手都在比拼谁的索引更智能时,Claude Code选择了每次都实时搜索、不保留任何状态。这个反直觉的设计背后,是对Unix哲学的现代传 承,也是对"什么才是好工具 " 的重新定义。 01 引言:一个看似倒退的选择 最近,Claude Code的技术选择引发了不少讨论。 有观点认为,Claude Code与Gemini放弃代码索引是"一步烂棋 " 。Milvus的技术博客更是直言不讳:"Claude Code的grep-only方式会烧掉太多tokens " 。 在HackerNews的讨论中,有开发者质疑:"Claude用grep,Cursor用向量搜索——我们是在技术倒退吗? " 当主流AI编程助手纷纷采用向量索引实现语义搜索时,Claude Code却选择了grep——这个诞生于1973年的命令行工具。它不建立持久 ...
担心失业的软件工程师:数学才是AI时代你的生存利器
36氪· 2025-06-10 07:08
数学的本质与历史作用 - 数学本质是应对现实需求的工具而非永恒真理,其发展由历史需求驱动[4][5] - 17世纪对数表解决航海经度计算难题,牛顿微积分用于天体运动测算[5][7] - 18-20世纪数学工具直接支撑关键产业发展:欧拉的图论用于军事工程,高斯最小二乘法用于测绘,傅里叶变换推动热力学工业应用[10][15] - 数学对经济增长贡献率长期稳定在25-35%区间[7] 数学在现代科技中的转型 - 传统数学工具如对数、微积分被重构为密码学、复杂度理论和网络建模基础[16][17][18] - 函数式编程和范畴论成为AI算法核心,实现函数嵌套、异常处理等高级抽象[18][19] - 线性代数支撑神经网络张量运算,概率统计处理机器学习不确定性[27] - 图论应用于社交网络分析、推荐系统等非结构化数据处理[27] AI硬件革命的数学需求 - 可重构脉冲神经网络硬件依赖图论、拓扑学等数学工具设计电路级模型[28] - FPGA开发需要组合优化、自动机理论等数学方法解决路由调度问题[29][30] - 范畴论实现模块化硬件设计,代数图论简化复杂电路连接[30] - 卡诺图等传统工具经改造后适用于低功耗AI芯片设计[30] 数学能力的竞争壁垒 - 掌握范畴论、全局优化等抽象数学可突破AI算法现有局限[25][26] - 数学抽象层级越深,人类在AI时代的不可替代性越强[31] - 函数式编程、图论等现代数学范式是构建新型AI系统的关键工具[22][27]