LLM时代的可靠性危机：如何构建真正值得信赖的软件系统？
随着大语言模型（LLM）的崛起，软件开发正在经历从确定性逻辑向概率性生成的转变，但这引发了严重的可靠性危机。本文指出，尽管AI能极大提升编码效率，但其固有的“幻觉”缺陷使其无法直接应用于安全攸关的系统。文章强调了形式化验证和规范语言在AI时...
标签索引 / 第 11 页
软件工程
这个标签下有 178 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
推进 Source Maps 标准化：重塑前端调试体验
彭博工程团队正致力于推进 Source Maps 的标准化进程。作为连接生产环境代码与源代码的桥梁，Source Maps 是现代前端调试的核心工具。此次标准化旨在解决当前工具链碎片化、调试不准确及源代码泄露等安全隐患。通过统一格式标准，开...
零手写代码：资深工程师利用Claude Code仅用四周构建一门编程语言
本文详细记录了一位资深工程师利用Anthropic的Claude Code工具，在仅四周内未手写一行代码的情况下，成功从零构建了一门名为Cutlet的动态编程语言的过程。文章深入探讨了“Agentic Engineering”（代理工程）的...
AI全自动开发闭环可行吗？从需求到Bug修复的全链路技术思考
随着大模型技术的演进，构建从需求分析到代码生成、部署及运维的“AI全自动开发闭环”成为技术圈热议焦点。该愿景旨在通过多Agent协同，实现产品经理提需求后，AI独立完成文档编写、代码构建、审查发布及线上故障自愈。然而，目前最大挑战在于AI自...
十年实战复盘：生产环境部署的演变与启示
这篇文章回顾了作者在过去十年中将代码部署到生产环境的实战经验。文章探讨了从手动部署到高度自动化CI/CD流水线的演变历程，分析了构建工具、容器化技术以及云基础设施如何重塑现代软件发布流程。作者深入总结了在追求快速迭代与保障系统稳定性之间取得...
软件工程师的终结？十年后，AI将彻底重构我们的职业
文章是一位资深软件工程师对AI时代的深度反思与焦虑。作者回顾了2021年行业的高光时刻，对比当下面对Claude等AI Agent迅猛发展的危机感。他认为，软件工程行业若能存活，其形态也将发生剧变：初级工程师将首当其冲被低成本、高效率的AI...
GitHub上的时区数据库：记录时间的疯狂与人类幽默
处理时区常被视为程序员的噩梦，甚至有观点认为试图自行编写相关代码只会“走向疯狂”。IANA时区数据库作为全球软件依赖的基础，现已在GitHub上开源。除了记录各地复杂的时区变更历史（如二战英国的双重夏令时），这个严肃的数据库中还隐藏着令人惊...
Go Context取消原因不明？一文掌握WithCancelCause调试技巧
本文深入探讨Go 1.20及1.21版本引入的WithCancelCause特性，旨在解决Context取消原因模糊的调试痛点。文章对比了新旧API的差异，揭示了defer cancel()在超时处理中丢失错误原因的陷阱，并提出了利用手动定...
从“码农”到“架构师”：AI 时代工程师角色的彻底重构
本文探讨了 LLM 和 AI Agent 如何重塑软件开发流程。作者指出，工程师的核心技能已从编写具体代码转向设计系统架构与监督 AI 代理。虽然 AI 能高效执行并发图遍历、哈希策略等逻辑，但只有具备深厚工程基础的人，才能通过精准指导避免...
实战复盘：利用Claude与Codex构建大型AI项目的双模协作流程
本文分享了一套经过实战验证的大型项目AI编程方法论，核心在于“双AI协作”与“文档驱动”。流程规定由Claude担任架构师和评审，负责需求定稿、技术选型及代码审计；由Codex担任执行工程师，负责读取文档、分周期开发及自我优化。文章详细拆解...