pengxin_ce-CSDN博客

转载智能化软件开发微访谈·第四十二期 AI将要吞噬软件了吗？

CodeWisdom AI将要吞噬软件了吗？微访谈 · 第四十二期背景介绍 OpenAI联合创始人Andrej Karpathy所提出的“软件3.0”所强调的“提示词即程序”、“LLM成为新一代软件的操作系统”等观点所引发的“AI吞噬软件”的口号流传甚广。近期，Anthropic为Claude Cowork植入11款与财务、销售、法律等行业相关的“新插件”，进一步引发新一波热潮，“血洗全球软件业”、“软件世界大熔断”、“中间层被压扁”等言论不绝于耳，甚至舆论广泛认为这就是1月底以来全球软件和服务业股

2026-02-14 18:05:13 34

转载 Agent狂欢与Palantir爆红背后：智能化软件正在“凤凰涅槃”

近期，Claude Cowork引发行业震动，OpenClaw在GitHub上狂揽星标，Palantir因“动态本体”理念被市场重新追捧……“AI吞噬软件”、“SaaS已死”的论调甚嚣尘上。然而，这真的是一场简单的取代吗？我们认为，“AI吞噬软件”并非终局，而是一场深刻的范式转移。传统软件的功能正被解构与重构，智能化软件将在“神经符号融合”等新范式下，迎来一场凤凰涅槃。其中的核心思想“神经符号融合”，本质上是让擅长模式识别、泛化联想的大模型（神经），与擅长逻辑推理、确定执行的规则与代码（符号），在系

2026-02-11 22:30:57 30

转载活动预告｜智能化软件开发微访谈·第四十二期 AI将要吞噬软件了吗？

腾讯Tech Lead，腾讯研究院特约研究员，腾讯集团技术委员会委员，中国计算机学会（CCF）TF研发效能SIG主席，“软件研发效能度量规范”团体标准核心编写专家，中国商业联合会互联网应用技术委员会智库专家，中国通信标准化协会TC608云计算标准和开源推进委员会云上软件工程工作组副组长，国内外各大技术峰会的联席主席，出品人和Keynote演讲嘉宾，公众号“茹炳晟聊软件研发”主理人，二十余本技术畅销书的作者和译者。能轮岗的技术岗位快都要覆盖一遍了，目前主要专注在公司的技术中台，尤其近来的 AI Infra。

2026-02-08 11:21:05 18

原创从“暗知识”到“活地图”：构建代码世界的“百科全书”

因此，开发者真正缺少的，从来不是更多解释文本，而是一种能够直接服务工程实践的知识组织方式：既能在概念层回答“它是什么、为什么存在”，也能在代码层定位“它在哪里、依赖谁、如何演化”，把概念、实现与历史统一在同一张认知框架中。相较于零散的底层代码，它又具备更强的语义完整性。通过这种自顶向下与自底向上相结合的“双向奔赴”，我们就可以在软件系统的概念表示与物理表示之间建立起稳定、可追溯的映射桥梁，使开发者既可以从概念快速定位代码，也可以从代码反推出其所属语义空间，从而初步解决“大型代码库中找不到入口”的核心问题。

2026-02-07 22:43:22 397

转载复旦大学软件工程实验室招聘专任岗、博士后，同时欢迎研究生报考

欢迎关注CodeWisdom，Codewisdom平台由复旦大学软件工程实验室运营，提供智能化软件开发平台及线上沙龙相关资讯，关注可了解更多智能化软件开发的最新消息~

2026-02-04 18:28:49 16

转载智能化软件开发微访谈·第四十一期从氛围编程到SDD：盘点AI辅助开发的2025

CodeWisdom从氛围编程到SDD：盘点AI辅助开发的2025微访谈背景介绍2025年，AI辅助开发热度有增无减。从年初开始爆火的“AI编程”到近期流行的SDD（规约驱动开发），AI辅助开发从大模型进一步迈入智能体主导的新阶段。与此同时，“AI智能体连续工作168小时，从无到有自主构建全新浏览器”之类的“震撼”体报道层出不穷。一些一线专家也醉心于宣扬AI编程的强大能力，甚至直斥对此怀疑者为“遗老遗少”。那么在过去的这一年中，AI辅助开发到底取得了什么样的技术进展？氛围编程和SDD的实践应用效果如何？围绕

2026-01-23 20:56:40 102

转载＜span class=“js_title_inner“＞智能化软件开发微访谈·第四十一期从氛围编程到SDD：盘点AI辅助开发的2025＜/span＞

CodeWisdom从氛围编程到SDD：盘点AI辅助开发的2025微访谈背景介绍2025年，AI辅助开发热度有增无减。从年初开始爆火的“AI编程”到近期流行的SDD（规约驱动开发），AI辅助开发从大模型进一步迈入智能体主导的新阶段。与此同时，“AI智能体连续工作168小时，从无到有自主构建全新浏览器”之类的“震撼”体报道层出不穷。一些一线专家也醉心于宣扬AI编程的强大能力，甚至直斥对此怀疑者为“遗老遗少”。那么在过去的这一年中，AI辅助开发到底取得了什么样的技术进展？氛围编程和SDD的实践应用效果如何？围绕

2026-01-23 20:56:40 26

转载 AI Coding评测，到底谁在“裸泳”？

因此，评测标准必须转向——衡量组合解决复杂问题的深度与速度，在模糊需求下的协作流畅度，以及最终方案的创新性与稳健性。此刻在全球各地，无数开发者正面临相似的场景：AI生成的代码在纸面上无可挑剔，却在真实世界的复杂环境中暴露缺陷。评估者不是简单地检查代码能否运行，而是衡量代码的可维护性、性能、安全性，以及AI在与开发者多轮对话中澄清需求、接受反馈改进方案的能力。的高分喝彩时，真正的软件开发挑战正在被忽视：模糊不清的需求、相互矛盾的业务目标、充满技术债的遗留系统、缺失的设计文档、…

2026-01-22 15:40:45 38

转载狂奔的AI，迷路的我们：LLM应用冷思考

软件开发逐渐从“代码为中心”转向“Spec为中心”，但是对于规模庞大的软件系统，基于Spec产生的过于庞大的代码同样难以维护和理解，仍需结合代码层面的可视化、可分析手段。知识工程是底座，清晰的知识结构、高质量的数据源、规范的沉淀流程，才是LLM发。明明可以用规则引擎、流程脚本、数据库查询解决的问题，非要调用LLM来“动态语义推理”，不仅响应慢、成本高，还可能因为模型的不确定性引入意外错误，愿我们都能手握理性的罗盘，避开激流中的暗坑，成为AI时代真正的“建造者”，而非“掘坑人”，共勉。

2026-01-22 15:40:45 31

转载＜span class=“js_title_inner“＞AI Coding评测，到底谁在“裸泳”？＜/span＞

因此，评测标准必须转向——衡量组合解决复杂问题的深度与速度，在模糊需求下的协作流畅度，以及最终方案的创新性与稳健性。此刻在全球各地，无数开发者正面临相似的场景：AI生成的代码在纸面上无可挑剔，却在真实世界的复杂环境中暴露缺陷。评估者不是简单地检查代码能否运行，而是衡量代码的可维护性、性能、安全性，以及AI在与开发者多轮对话中澄清需求、接受反馈改进方案的能力。的高分喝彩时，真正的软件开发挑战正在被忽视：模糊不清的需求、相互矛盾的业务目标、充满技术债的遗留系统、缺失的设计文档、…

2026-01-22 15:40:45 13

转载活动预告｜智能化软件开发微访谈·第四十一期从氛围编程到SDD：盘点AI辅助开发的2025

茹炳晟，腾讯Tech Lead，腾讯研究院特约研究员，腾讯集团技术委员会委员，中国计算机学会（CCF）TF研发效能SIG主席，“软件研发效能度量规范”团体标准核心编写专家，中国商业联合会互联网应用技术委员会智库专家，中国通信标准化协会TC608云计算标准和开源推进委员会云上软件工程工作组副组长，国内外各大技术峰会的联席主席，出品人和Keynote演讲嘉宾，公众号“茹炳晟聊软件研发”主理人，二十余本技术畅销书的作者和译者。负责AI+元宇宙项目的研发，同时进行AI辅助开发、AI辅助游戏内容创作相关探索与实践。

2026-01-18 20:31:57 74

转载敬畏系统复杂性：写给AI辅助开发的2025年度总结

2025年即将过去，总要写点什么告别一下。这一年，AI辅助软件开发继续成为学术界和工业界以及人工智能和软件工程领域共同关注的焦点。而年初OpenAI联合创始人、特斯拉前人工智能主管Andrej Karpathy所提出的氛围编程（Vibe Coding）更是成为这一年的热词。顺便说一句，“软件2.0”的概念（即通过训练神经网络而非编写代码的方式实现软件）也是这位仁兄提出的，那时候还是2017年，ChatGPT还没出来。这里也预告下，我已经在构思的2026年新年特辑文章会谈一下“软件2.0”、智能化软件以及Pa

2026-01-03 20:52:26 69

转载＜span class=“js_title_inner“＞敬畏系统复杂性：写给AI辅助开发的2025年度总结＜/span＞

2025年即将过去，总要写点什么告别一下。这一年，AI辅助软件开发继续成为学术界和工业界以及人工智能和软件工程领域共同关注的焦点。而年初OpenAI联合创始人、特斯拉前人工智能主管Andrej Karpathy所提出的氛围编程（Vibe Coding）更是成为这一年的热词。顺便说一句，“软件2.0”的概念（即通过训练神经网络而非编写代码的方式实现软件）也是这位仁兄提出的，那时候还是2017年，ChatGPT还没出来。这里也预告下，我已经在构思的2026年新年特辑文章会谈一下“软件2.0”、智能化软件以及Pa

2026-01-03 20:52:26 21

转载 LLM4SE的2025：LLM 改变了写代码的方式，但还没改变软件工程

LLM 优化的往往是“立刻可用”的功能，而忽略了保证代码可长期维护的高层设计，结果是代码“能用”，却难以理解和维护。在我们基于 LLM 的自动缺陷修复的研究中，也观察到类似现象：AI 生成的补丁可能引入隐蔽问题或冗余，因为模型缺乏对项目整体架构的全局视角，以及没有理解和把握未落于纸面的关键设计决策。这意味着坚持清晰的任务定义和严格的评测流程，分享部署最佳实践，并始终关注开发者体验和软件质量，让 AI 成为软件开发生命周期中可信、不可或缺的一部分，尽管这仍然任重道远。超越编码：覆盖整个软件生命周期的 AI。

2025-12-26 08:00:42 103

转载＜span class=“js_title_inner“＞LLM4SE的2025：LLM 改变了写代码的方式，但还没改变软件工程＜/span＞

LLM 优化的往往是“立刻可用”的功能，而忽略了保证代码可长期维护的高层设计，结果是代码“能用”，却难以理解和维护。在我们基于 LLM 的自动缺陷修复的研究中，也观察到类似现象：AI 生成的补丁可能引入隐蔽问题或冗余，因为模型缺乏对项目整体架构的全局视角，以及没有理解和把握未落于纸面的关键设计决策。这意味着坚持清晰的任务定义和严格的评测流程，分享部署最佳实践，并始终关注开发者体验和软件质量，让 AI 成为软件开发生命周期中可信、不可或缺的一部分，尽管这仍然任重道远。超越编码：覆盖整个软件生命周期的 AI。

2025-12-26 08:00:42 20

转载活动预告｜CodeWisdom软件智能化开发系列学术报告第18期：高效、可信、实用的自动化推理

2025年12月23号10:00～11:00。江湾校区二号交叉学科楼A2003。会议号：543-819-521。会议密码：384293。

2025-12-18 18:57:56 28

原创 Fairy Mobile GUI Agent——RGR、OCA、EMA的综合落地

此时Planner将获取第T轮的起始屏幕、计划和更新后的Task Instruction，并对第T轮的交互进行反思，然后依据用户补充的需求来做出T+1轮的规划。在执行第T+1轮任务时，使用的是T-1轮关键上下文，这是因为第T轮的上下文信息还没有收集完。我们认为，在Global Planner的层级几乎不会遇到OR分解或信息缺失，用户意图的模糊性通常是在应用内部次啊会发现的，因此当Global Planner无法找到合适的APP满足用户的需求时，系统直接向用户报告失败，而无需专门设计意图支架进行澄清。

2025-12-15 20:45:28 783

原创＜span class=“js_title_inner“＞Fairy Mobile GUI Agent——RGR、OCA、EMA的综合落地＜/span＞

此时Planner将获取第T轮的起始屏幕、计划和更新后的Task Instruction，并对第T轮的交互进行反思，然后依据用户补充的需求来做出T+1轮的规划。在执行第T+1轮任务时，使用的是T-1轮关键上下文，这是因为第T轮的上下文信息还没有收集完。我们认为，在Global Planner的层级几乎不会遇到OR分解或信息缺失，用户意图的模糊性通常是在应用内部次啊会发现的，因此当Global Planner无法找到合适的APP满足用户的需求时，系统直接向用户报告失败，而无需专门设计意图支架进行澄清。

2025-12-15 20:45:28 511

原创＜span class=“js_title_inner“＞Fairy Mobile GUI Agent——RGR、OCA、EMA的综合落地＜/span＞

此时Planner将获取第T轮的起始屏幕、计划和更新后的Task Instruction，并对第T轮的交互进行反思，然后依据用户补充的需求来做出T+1轮的规划。在执行第T+1轮任务时，使用的是T-1轮关键上下文，这是因为第T轮的上下文信息还没有收集完。我们认为，在Global Planner的层级几乎不会遇到OR分解或信息缺失，用户意图的模糊性通常是在应用内部次啊会发现的，因此当Global Planner无法找到合适的APP满足用户的需求时，系统直接向用户报告失败，而无需专门设计意图支架进行澄清。

2025-12-15 20:45:28 810

原创 Agentic AI系统性工程框架——RGR、OCA与EMA三位一体方法论

在宏观上，OCA借鉴了先前的多智能体系统（MAS）和分层任务网络（HTN）的思想，规约了智能体的认知组织。在EMA中，我们对经典的单MAPE-K循环进行了重构，将其从外部调优转向内部演化（即 K 本身的演化），进而将其解耦为一个双环路模型：一个服务在执行中快速适应的执行循环，另一个则服务积累知识以长期演化的演化循环。在OCA中，我们借鉴HTN的分层思想，将其静态的任务分解演变为一个动态的认知委派过程，从而定义了在宏观架构层面，我们如何将多个 RGR 规划引擎在以分层方式集成为一个可靠的系统。

2025-12-09 08:01:36 401

原创＜span class=“js_title_inner“＞Agentic AI系统性工程框架——RGR、OCA与EMA三位一体方法论＜/span＞

在宏观上，OCA借鉴了先前的多智能体系统（MAS）和分层任务网络（HTN）的思想，规约了智能体的认知组织。在EMA中，我们对经典的单MAPE-K循环进行了重构，将其从外部调优转向内部演化（即 K 本身的演化），进而将其解耦为一个双环路模型：一个服务在执行中快速适应的执行循环，另一个则服务积累知识以长期演化的演化循环。在OCA中，我们借鉴HTN的分层思想，将其静态的任务分解演变为一个动态的认知委派过程，从而定义了在宏观架构层面，我们如何将多个 RGR 规划引擎在以分层方式集成为一个可靠的系统。

2025-12-09 08:01:36 885

原创提示词软件危机——Agentic AI系统的工程化挑战

目标导向的需求工程是一种要求人类分析师在项目开始前，就必须把系统所有目标以及子目标全部定义清楚的方法论，其著名的实现有KAOS——它提供了一套高度形式化的语言，用来构建和分析这个目标模型，确保其在设计时就完备、无冲突。然而，传统MAPE-K 的核心是自适应而非自演化的，其K库是静态的，由人来维护。这还不是最致命的，当行业为不断出现的能力更强、参数量更大的新版本大模型欢呼时，Agentic AI的开发者们却陷入了一个噩梦：由于AI智能体过于依赖自然语言提示，模型的改变有时会给Agent带来负优化。

2025-12-02 10:48:28 578

原创＜span class=“js_title_inner“＞提示词软件危机——Agentic AI系统的工程化挑战＜/span＞

目标导向的需求工程是一种要求人类分析师在项目开始前，就必须把系统所有目标以及子目标全部定义清楚的方法论，其著名的实现有KAOS——它提供了一套高度形式化的语言，用来构建和分析这个目标模型，确保其在设计时就完备、无冲突。然而，传统MAPE-K 的核心是自适应而非自演化的，其K库是静态的，由人来维护。这还不是最致命的，当行业为不断出现的能力更强、参数量更大的新版本大模型欢呼时，Agentic AI的开发者们却陷入了一个噩梦：由于AI智能体过于依赖自然语言提示，模型的改变有时会给Agent带来负优化。

2025-12-02 10:48:28 574

转载活动预告｜CodeWisdom软件供应链系列学术报告第10期:Web3中的软件供应链安全

2025年12月8号10:00～11:00。江湾校区交叉学科楼A3009。会议号：163219804。会议密码：955115。

2025-12-01 16:39:43 34

转载＜span class=“js_title_inner“＞活动预告｜CodeWisdom软件供应链系列学术报告第10期:Web3中的软件供应链安全＜/span＞

2025年12月8号10:00～11:00。江湾校区交叉学科楼A3009。会议号：163219804。会议密码：955115。

2025-12-01 16:39:43 13

原创智能化软件开发微访谈·第四十期从FDE看AI应用落地实践模式

CodeWisdom从FDE看AI应用落地实践模式微访谈背景介绍 Palantir的FDE（Foward Deployed Engineer，前线部署工程师）模式近期成为AI领域热议焦点，其核心是通过技术专家深度驻场客户，将复杂的数据整合与业务需求转化为可落地的AI解决方案。这一模式爆红的背后，正是AI应用面临的“非标诅咒”——从实验室到生产环境的“最后一公里”难题。FDE通过“产品化咨询”平衡个性化与规模化成为Palantir区别于传统AI公司的关键。FDE模式为AI落地提供了新范式：它不仅是Pal

2025-11-19 10:38:51 1480

转载活动预告｜智能化软件开发微访谈·第四十期从FDE看AI应用落地实践模式

以通义千问大模型为基础，赋能软件开发，角色对话，办公效率，智能司法等行业合作伙伴。腾讯Tech Lead，腾讯研究院特约研究员，腾讯集团技术委员会委员，中国计算机学会（CCF）TF研发效能SIG主席，“软件研发效能度量规范”团体标准核心编写专家，中国商业联合会互联网应用技术委员会智库专家，中国通信标准化协会TC608云计算标准和开源推进委员会云上软件工程工作组副组长，国内外各大技术峰会的联席主席，出品人和Keynote演讲嘉宾，公众号“茹炳晟聊软件研发”主理人，二十余本技术畅销书的作者和译者。

2025-11-13 10:44:04 186

转载【EASE’26】CORE A· CCF C 级国际软件工程盛会，将于英国·苏格兰·格拉斯哥隆重召开！

EASE 2026 将于历史悠久的格拉斯哥大学（University of Glasgow）举行 —— 这所建于 1451 年的学府，是世界上第四古老的英文大学，以哥特式建筑与开创性的科研闻名于世。从宏伟的凯尔文格罗夫艺术博物馆（Kelvingrove Art Gallery and Museum）到现代的克莱德弧桥（Clyde Arc Bridge），EASE 长期以来汇聚了来自全球的学者与业界专家，是展示软件工程领域最新成果的重要学术平台。在这座融合传统与创新的城市，学术与思想的火花将再次闪耀。

2025-11-06 10:36:16 174

原创追赶天门山的云——复旦大学CodeWisdom 战队世界 AI 竞速锦标赛纪实

点击蓝字关注我们复旦大学软件工程实验室 CodeWisdom智能汽车战队🏁 HITCH OPEN00前言在复旦的秋天，风不会轻易说话，但它会把某些消息送得很远——我们要带着一套在电脑里跑得完美的自动驾驶系统，驶向张家界天门山的真实赛道。这是 HitchOpen 世界 AI 竞速锦标赛的决赛：10.77 公里、99 道弯、三条隧道，从仿真到实车，一切都重新开始。湖南省张家界市天门山99道弯赛道我们是软件工程的实践者，却要在山里解决信号漂移、雷达反射、雨雾干扰、电路受潮这些“物理世界的 Bug”。当 GNS

2025-11-05 08:01:18 1115

转载从“贫嘴张大民的小屋”说起：再论软件开发的系统复杂性

熟悉我的朋友知道，我一直在强调大模型在复杂软件开发中的局限性，特别是系统复杂性的挑战和软件设计的难题。去年10月份我所写的《大模型时代的软件智能化开发：我们在哪里？该往何处走？》这篇文章比较全面地论述了我在这些方面的思考，特别是软件形态的多样性、软件的系统复杂性、软件开发的探索性所带来的问题和挑战。今年6月份我专门针对系统复杂性这一问题写了一篇文章《代码数字孪生：回归软件的复杂系统属性》，其中特别论述了为什么“大模型一锅炖”的思路（即将复杂软件开发问题的解决寄希望于大模型自身能力的提升和输入窗口

2025-11-03 08:01:36 163

原创 VLA遇见Ctrl+Z：让具身智能更“皮实”的工程学思路

实验证明，这一巧妙的工程学方法，在零训练成本增加的情况下，能将机器人的长程任务成功率提升数倍，为构建更“皮实”、更可靠的智能机器人系统提供了一条新路径。在Libero虚拟环境中，我们为机器人设计了数十种不同难度的“考题”——从简单的“抓起瓶子”，到复杂的“把指定颜色的杯子放进微波炉并关上门”。我们的研究，正是尝试将软件工程这种“管理错误”的智慧，应用到前沿的机器人AI系统中。我们认为，与其无休止地教AI模型去“认识”每一个可能的错误，不如为它建立一个“安全网”，在它犯错时，能及时地“拉它一把”。

2025-10-23 08:03:17 444

转载 CCF中国软件大会智能化IDE研究与实践

腾讯Tech Lead，腾讯研究院特约研究员，腾讯集团技术委员会委员，中国计算机学会TF研发效能SIG主席，腾讯云架构师技术同盟入会成长主席，中国通信标准化协会TC608 云计算标准和开源推进委员会云上软件工程工作组副组长，中国商业联合会互联网应用技术委员会智库专家，复旦大学CodeWisdom团队博士生，“软件研发效能度量规范”团体标准核心编写专家，国内外各大技术峰会的联席主席、出品人和 Keynote演讲嘉宾，公众号“茹炳晟聊软件研发”主理人，二十余本计算机专业图书的作者和译者。

2025-10-22 08:00:36 221

转载 CCF中国软件大会云原生与智能化运维论坛

本论坛将邀请学术界与工业界专家分享最新研究与大规模实践，通过主题报告与圆桌讨论，系统探讨方法与系统、工程与治理、评测与实践的协同演进，推动云原生底座上的智能化运维迈向可持续、可度量、可复用的新范式。在此背景下，一套全面、系统的智能体系统运维方案已成为行业迫切需求，本报告讲重点涵盖AgentOps（Agent System Operations），并对其四大核心阶段（监控、异常检测、根因分析、故障消除）进行定义与可用方法介绍，系统的综述现有多智能体系统可能存在的异常和故障类型，并探讨可落地的技术方向。

2025-10-21 16:36:11 750

空空如也

空空如也