当开发速度超越理解能力：AI 编程背后的“认知债务”危机
本文深入探讨了AI辅助编程带来的隐患——“认知债务”。虽然AI极大提升了代码产出速度，但人类理解和消化代码的能力并未同步提升，导致生产与认知出现脱节。文章警告，这种隐形债务会让代码审查流于形式，导致组织记忆流失，并使工程师陷入高产出却低自信...
标签索引 / 第 13 页
软件工程
这个标签下有 178 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
万变不离其宗：AI时代软件工程师的价值重构
随着AI技术的飞速发展，关于“软件工程师是否正在转变为产品经理”的讨论在Hacker News上引发热议。资深开发者指出，真正的工程师应当视自己为架构师而非单纯的编码者。在AI辅助编程普及的今天，记忆API代码已不再是核心竞争力，真正的价值...
斯坦福新课直击AI开发：从“手写代码”到“Agent架构”的范式革命
斯坦福大学新课《The Modern Software Developer》系统性地定义了AI时代的软件开发新范式。课程内容覆盖提示词工程、Agent架构、模型上下文协议（MCP）及AI安全防御。其核心观点指出，编程工作流已从“手写代码”转...
实战Z3求解器：如何在编译阶段通过形式化验证捕获逻辑漏洞
本文源自技术博主Hillel Wayne对Z3求解器的趣味脚本探索。Z3是一款强大的SMT（可满足性模理论）求解器，常用于编程语言中的逻辑与约束验证。不同于传统的测试手段，Z3允许开发者在代码编译阶段就利用形式化方法发现深层逻辑漏洞，彻底改...
编码从来不是最难的事：AI 催化下的软件工程价值重构
本文深刻指出，在软件工程中，“编写代码”从来都是最容易的环节，真正的核心价值在于构建能够持续交付、满足用户需求的“人机协作系统”。虽然 Claude Code 等 AI 模型正在极速拉低代码生产成本，迫使团队重新审视协作模式与社会契约，但这...
有道 LobsterAI 被曝臃肿：243MB 安装包解压后竟膨胀至 1.16GB
网易有道推出的 AI Agent 产品 LobsterAI 近日引发技术社区热议。尽管其 Windows 版安装包显示为 243MB，但安装完成后的本地占用竟高达 1.16GB，体积膨胀近 5 倍。经拆包分析发现，该应用打包策略极其粗糙：不...
软件开发的 3.1 时代：AI Functions 如何让大模型在运行时直接执行代码
本文基于 Andrej Karpathy 的软件版本理论，提出了“Software 3.1”的新范式。不同于 Software 3.0 依赖“人类提示、AI 生成、人类验证”的离线开发模式，3.1 强调在应用运行时由 LLM 动态生成并执行...
企业安全避坑指南：为何我们宁愿花大钱装闸机，也不愿修复代码里的真实漏洞？
本文讲述了一家科技公司在被收购后，陷入了“形式主义安全”的怪圈。公司花费巨资在门禁和电梯安装复杂的闸机系统，导致员工每天通勤排队一小时，秩序混乱。然而，对于 Jira 凭证被存储在 Cookie 中这一真实的重大安全隐患，技术团队申请修复资...
《Agentic Software Engineering》：AI智能体如何重塑软件开发的未来
本书深入探讨了当前AI领域最前沿的趋势：自主AI智能体。它详细阐述了这些智能体如何彻底改变我们构建、测试和部署软件的传统流程，标志着软件工程正进入一个全新的自主化时代。作为这一技术变革的权威指南，书中不仅涵盖了技术原理，更展望了未来工程师与...
日本开发者推出类Emacs编辑器Elecxzy：基于Electron但追求“零配置”与极简体验
一位来自日本的程序员发布了 Elecxzy，这是一款基于 Electron 构建但主打“轻量”的类 Emacs 编辑器。该项目旨在解决传统 Emacs 配置复杂（ Lisp）以及在 Windows 上对中日韩（CJK）输入法支持不佳的问题。...