用劳动经济学的互补品框架和 Brooks 的本质复杂度理论，系统论证 AI 时代程序员四种不可替代的技术能力：形式化、可信度工程、穿过抽象层、在自动化中不退化的纪律

针对遗留项目上 AI Agent 直接写代码易翻车的问题，文章提出用 SDD（规格驱动）衔接 TDD（测试驱动），借 Claude Code 的 CLAUDE.md / skills / subagents / hooks 四层机制，把想清楚再动手、测试先行、小步提交、行为受保护编译成 Agent 无法绕开的硬结构

随着 AI 编程助手（如 GitHub Copilot、Cursor 等）的普及，开发者面临的新挑战不再是如何快速写出代码，而是如何高效且安全地审阅这些 AI 生成的代码

Coding Agent 的新趋势，或者称之为新时代开发者必须理解的编程范式之一

本文是对上一篇博文的补充，使用一个实例讲解如何使用 Cursor 进行工程化实践

如何在 2026 年使用好手中的工具来帮助你提升研发效能，看这篇就够了

学习一下 ClickHouse 官方对自己产品的剖析论文，揭开 ClickHouse 如此之快的秘密

函数调用和 MCP 在 LLM 智能 Agent 体系中不可或缺，只有了解他们，才能在构建智能 Agent 的时候做出明智的决策

大语言模型已经成为开发者工具箱中的重要工具，能够帮助解决各种编程问题、生成代码、调试错误等，然而，要充分发挥 LLM 的潜力，编写有效的提示词至关重要

为什么先后顺序在分布式系统中十分重要？在分布式系统中我们怎么确定事件的先后顺序？逻辑先后和物理时间先后的区别？