软件工程

Search documents
不死的程序员
AI科技大本营· 2025-07-04 09:00
文 | 王启隆 出品 | CSDN(ID:CSDNnews) 投稿或寻求报道 | zhanghy@csdn.net 在计算机技术七十余年的演进史上,一个幽灵始终在行业上空徘徊——"程序员即将被机 器取代"。 然而,这并非 ChatGPT 爆火后才出现的新近焦虑,而是贯穿整个信息时代、最具韧性的预言之一。 每当一项旨在简化软件开发、降低技术门槛的重大技术跃迁出现时,"程序员末日论"便会应声而起, 以不同的技术名义,在每一个时代向同一个职业宣判死刑。 从 1950 年代编译器的诞生,到今天大 语言模型的崛起,历史已经上演了整整八轮几乎一模一样的"替代"故事。 所以,让我们一起追溯历史上这八次主要的"程序员替代论"浪潮,看看程序员如何"死而复生",探究 程序员们"不死的秘密"。 自动化的黎明(1950 年代) 没有显示器,没有键盘,更没有我们熟悉的 IDE。 这个年代所谓的"程序员",是一小群数学家和逻辑学家。他们的工作,是在一张张表格上手动填写一 长串令人费解的八进制码,每一个数字都对应着机器的一条指令、一个内存地址。然后,这些编码被 送去穿孔,变成一叠厚厚的卡片。 约翰·巴克斯 ,后来 FORTRAN 语言的发 ...
天工不止造物,也能修bug:Skywork-SWE给代码智能体补上软件工程课
机器之心· 2025-06-20 02:22
机器之心报道 编辑:Panda 400 多年前,宋应星著成《天工开物》。这是一部写给匠人、也写给未来的书。它让人相信:技术不是死物,而是人与世界持续互动的方式。 如今,代码系统早已成为现代文明的骨架。它们运行在日常软件、银行服务、交通调度等各式系统中,也支撑着我们所依赖的 AI 算法本身。但和古代器物一样, 再精妙的程序也难免出现 bug—— 有些是逻辑失误,有些是环境变迁,有些甚至源于协作失控。比如,就在前几天,AWS、谷歌云、Azure 和 Cloudflare 都发生了 中断,连带着 ChatGPT 和 Cursor 等热门 AI 应用也一并短暂失联;而这一事故的原因可能是一次错误的自动配额更新导致谷歌的 API 管理系统出现了故障。 同时,bug 修复也是软件工程中最基础,却也是最复杂、最消耗人力的任务之一。特别是在真实的 GitHub 项目中,修一个 bug 并不是「找到一行错字那么简 单」,它常常需要: 那么,我们能否使用 AI 智能体来完成这些任务呢? 当然可以!但我们需要的绝不是传统的用于解决单独编程任务的 AI 编程模型,而是需要像人类开发者一样能够理解历史上下文、进行多轮推理、在模糊与不确 ...
Redis 之父亲证:人类程序员仍力压 LLM!网友锐评:那是你没见过平庸码农被 AI 吊打的样子
程序员的那些事· 2025-05-30 07:10
自从 ChatGPT 火起来后,有些大厂高管在推动「AI 替代程序员」的说法。 前些天,小程程分享了 Java 之父高斯林对 AI 的看法。没看过的童鞋,请戳这里:《 Java 之父怒斥:AI 是 场骗局,无法取代程序员,在编程方面的最大作用是生成没人想写的文档 》。 5 月 30 日凌晨,Redis 之父 antirez 写了一篇文章,标题即为他的观点: 人类程序员仍比 LLM 更胜一筹! 人类程序员仍比 LLM 更胜一筹 这是一个关于人类为何仍比大语言模型(LLMs)更具能力的小故事。 先说明,我并非反对 AI,了解我的人或关注过我的人都清楚这一点。我日常会频繁使用 LLM ,比如今天,我 会用它来验证想法、进行代码审查、判断是否存在比我设想中更好的方案,或是探索我专业领域边缘的内容等 等( 差不多两年前,当用 LLM 编程还不算流行时,我就写过一篇相关博客;我一直都在使用这类工具,后续 得写篇更新,但这不是本文的重点 )。 不过,尽管当前的 AI 已经很有用、甚至很出色,但它与人类智能的差距仍然巨大。我想强调这一点,因为最 近很难进行客观平衡的讨论。 1. 我们加载了损坏的数据,其中显示 A 连接到 B ...
微软裁员超6000人,程序员正在被AI全面取代?
Hu Xiu· 2025-05-29 12:13
据微软公布的信息,将从2025年7月中旬开始在全球裁员,规模超过6000人。 本次裁员广受关注,因为有相当比例的软件工程师被裁,这引发了人们对AI即将取代技术人员的讨 论。 当地时间5月13日,微软宣布将在全球裁员接近3%的员工。这一决策将涉及全球各个级别、团队和地 区,且包括负责微软各项核心服务和产品的部门的员工,例如LinkedIn、Xbox、GitHub 和 Azure。 截至2024年6月底,微软在全球拥有22.8万名员工。若以该数据测算,此次裁员规模将超过6000人,预 计裁员将于7月13日开始。 微软此次裁员包括此前被视为科技公司命脉的软件工程师群体。 据微软向华盛顿州监管机构提交的文件,位于华盛顿州雷德蒙德的微软总部将裁员1985人,被裁员工里 约有40%是软件工程师。 据科技媒体The Information报道,微软副总裁杰夫·赫尔斯负责管理约400名软件工程师,主要负责修补 微软云服务器部门漏洞和故障。在这次裁员中,赫尔斯团队中的有十几名工程师被解雇。 有媒体指出,微软正在组织中使用AI来全面变革传统程序员的工作方式。 据微软向美国华盛顿州监管机构提交的文件,位于华盛顿州雷德蒙的微软总部将 ...
5月16日电,OpenAI推出基于云的软件工程代理CODEX研究预览版。
news flash· 2025-05-16 15:04
智通财经5月16日电,OpenAI推出基于云的软件工程代理CODEX研究预览版。 ...
AI辅助编码将如何改变软件工程:更需要经验丰富的工程师
AI前线· 2025-05-12 04:28
作者丨 Gergely Orosz & Addy Osmani 译者丨明知山 策划丨褚杏娟 可以肯定的是,生成式 AI 将继续改变我们开发软件的方式。 回顾 2022 年 11 月,ChatGPT 首次问世,这是大语言模型(LLM)开始被广泛运用的开端。尽管 LLM 的构建方式出人意料地简单,但它们在各个领域都取得了令人印象深刻的结果。编写代码无疑 是它们的强项之一。这并不令人感到惊讶,因为: 去年,我们的 AI 工具使用情况调查发现,大约 75% 的开发者使用某种 AI 工具进行与软件工程相关 的工作。然而,我们似乎仍处于工具创新周期的早期阶段,而更复杂的方法,如软件工程 AI 智能 体,很可能成为 2025 年创新的核心。 主流媒体对软件工程行业的描绘越来越戏剧化。3 月份,Business Insider 报道了"软件工程师越来越 接近 AI 是否会让他们失业的真相";9 月份,福布斯抛出疑问:"软件工程师是否正在变得过时?"尽 管这类文章广为传播,但它们多出自非软件工程师之手,这些作者既不使用 AI 工具,也不了解这些 新型 GenAI 编码工具的效率(以及局限性)。 那么我们能从 GenAI 工具重 ...
“人工智能+软件工程”创新,北大aiXcoder助力国产AI编程产业化进程
Xin Hua She· 2025-04-25 11:32
北京大学软件工程研究所孵化企业硅心科技(简称aiXcoder)近期完成新一轮融资,投资方为中关村发 展集团旗下中关村资本。aiXcoder一直致力于将前沿人工智能技术应用于软件工程,聚焦代码大模型的 私有化落地和应用。此次获得加持,标志着aiXcoder在"人工智能+软件工程"领域的深耕、更深层次的 技术自主性和未来商业发展得到了更有力的认可与支持。 aiXcoder创始团队深耕"人工智能+软件工程"十余年,在基于深度学习的程序理解、生成及面向程序处 理的预训练模型等领域,做出了多项原创性贡献。 公司自成立以来,始终聚焦代码大模型在企业的私有化落地和应用,其自主研发的aiXcoder代码大模型 是业内首批完成国家备案的代码大模型。团队持续通过深度定制方案解决大模型与领域知识融合难题, 帮助企业提升软件开发效率和研发效能。现已在金融、软件服务、通信等行业实现落地应用。 近日,aiXcoder进一步升级产品,推出Agent(智能体)模式,并内置MCP(大模型上下文协议)功 能,创新为软件开发行业带来全流程自动化解决方案。该技术通过模拟人类开发者的任务规划、工具调 用、自主反思、逻辑推理等能力,可智能完成项目级代码 ...