Meta 自酿离职潮：裁员反噬，股权留人失效
Meta 裁员和强制调岗引发连锁反应：未被裁的工程师也开始找工作，公司用大额股权留人却效果不佳。Cursor 团队发布通用 AI 工具框架 Grok Bot，被比作"知识工作者的 Codex"，作者实测后高度认可，预计会有更多 AI 厂商跟进模仿。
务实工程师
The Pragmatic Engineer，Gergely Orosz 的工程通讯，从内部观察大厂与创业公司，面向软件工程师与技术管理者。
评论
点赞
收藏做市商 Optiver 的工程实践：没有客户，但一个 bug 就能让公司归零
The Pragmatic Engineer 对 Optiver 进行深度访谈，探讨没有外部客户、但一个软件 bug 就能让公司破产的做市商如何运作工程团队。Optiver 自研硬件栈，平台工程团队规模远超普通公司，工程师薪酬对标甚至超过 Big Tech。文章由 CTO、全球平台工程负责人、期权技术负责人等一线工程师参与，涵盖硬件到软件的全栈工程挑战。
堆叠 Diff（以及为什么你应该了解它）
堆叠 Diff 把 PR 拆成多个小提交，让开发不用等审查就能继续工作。 Meta 工程师几乎 100% 使用堆叠工作流，Google 称之为 chaining。核心是把每次变更拆成独立可审查的小 diff，避免大 PR 等待数天甚至数年的问题。Graphite、Gerrit、Sapling 等工具已支持该工作流。 
Hillel 谈形式化方法：AI 能推动它普及吗？
Hillel 在《The Pragmatic Engineer》播客中讨论形式化方法能否因 AI 成为主流。他对比软件与传统工程，剖析 TLA+ 等工具在分布式系统中的应用，并质疑“AI 会让形式化验证普及”的流行观点。 Hillel 基于《The Crossover Project》对约 20 位从业者的调研，提出软件工程师是否属于“真正工程师”的争议性结论；同时指出形式化方法在金融、存储等关键系统中不可替代，但工程落地仍面临认知与工具门槛。 
Anthropic 如何改变软件的构建方式
如今，性能大幅提升的人工智能工具正在深刻改变我们的软件开发方式。我希望能一窥在这一趋势影响下，软件工程的未来将如何演进。而要探寻这样的变革，又有什么比让科技领域最“堆满人工智能”的团队——也就是人工智能实验室本身——来引领方向更合适呢？ 于是，我走访了两家顶尖的人工智能实验室，亲身体验了各团队和工程师们日常的工作方式。在这篇文章以及即将发表的后续文章中，我将与大家分享自己所学到的关于人工智能如何重... 
退出 Spotify：因可靠性问题放弃播客平台
务实工程师因 Spotify 播客平台可靠性持续下降，决定将视频播客迁出。作者指出自 Spotify 高层强调高 AI 采用率后，平台体验恶化，而竞品未现类似问题。此外简报涵盖 Kimi K3 模型可能引发美国对开源 AI 监管、AWS 巨额计费错误及 OpenAI 等科技圈动态。 
用“草稿纸演算”突破软件工程极限
Pragmatic Engineer 分享了对 turbopuffer 创始人 Simon Eskildsen 的采访。Simon 强调“napkin math”（快速估算）作为发现系统瓶颈、挑战现有架构极限的核心能力。结合他在 Shopify 八年基础设施经验及 IOI 竞赛背景，探讨了在 AI 上下文窗口受限背景下，如何通过理论计算寻找低成本、高性能的搜索方案。 
Bun从Zig重写为Rust：AI如何在一周内完成五年工作量？
Bun作者Jarred Sumner利用Anthropic的Fable模型，在11天内将53万行Zig代码重写为Rust，成本约16.5万美元。文章详细拆解了从制定迁移规范、并行处理到修复编译错误的完整流程。这展示了AI在处理大规模代码重构时的可行性与效率，同时也揭示了高昂的API成本及对项目测试覆盖率的高要求，为技术团队评估AI辅助重写提供了极具参考价值的一手案例。
Grok 命令行工具因秘密上传本地文件被曝光
Grok CLI 被曝在开发者不知情的情况下上传本地文件至云端。这一隐私泄露事件发生在 Grok 4.5 编码模型刚获好评之际，直接冲击了开发者对 AI 工具信任度。
与 Dex Horthy 探讨上下文工程
Pragmatic Engineer 播客访谈 HumanLayer 创始人 Dex Horthy，探讨“Context Engineering”概念及其在 LLM 开发中的实践。内容涵盖 Harness Engineering、Loop Engineering 及软件工厂模式，总结 12 条关于 AI 辅助开发流程自动化的关键观察。适合关注大模型工程落地与研发效能提升的技术人员参考。 
什么是“循环工程”？
解析“循环工程”从Geoffrey Huntley的Ralph Loop到各大AI编程助手内置Goal命令的演变。文章汇总了开发者利用循环处理PR、修复测试、监控告警等实战案例，并指出其本质是解决上下文窗口限制及自动化重复工作。同时收录了对Token成本和过度设计的反思，适合关注AI Agent工作流的工程师。
Bun 快速 Rust 重写背后的 AI 启示
Bun 用 AI 在 11 天内完成原本需一年、花费 16.5 万美元 Token 费的 Rust 重写。这不仅是效率奇迹，更是 AI 辅助重构复杂代码库的真实成本与效果数据。同时涵盖 Coding LLM 竞争加剧及朝鲜 AI 伪造者招聘难题。 
Pragmatic Engineer 创始人问答：LeetCode 面试的本质与 AI 时代的技能保持
Gergely Orosz 分享从 Uber 裁员到全职写作的经历，以及因读者反馈改变对 Bunq 报道立场的故事。他提出 LeetCode 面试筛选的是对“无意义工作”的容忍度，并认为 Anthropic 主导后 MCP 协议难以成为标准。此外，他主张写作禁用 AI 以防技能退化，但接受编码中使用 AI。 
2026科技就业市场（三）：招聘方与求职者的现实困境
2026年科技招聘呈现极端两极分化：AI工程师、ML专家及FDE岗位需求爆发，薪资高涨且面试流程快；但普通后端、前端及资深IC/EM岗位却面临“简历海淹没、冷申请零回复”的困境。核心痛点在于AI生成的垃圾简历导致信任崩塌，内推成为唯一可靠渠道，甚至出现AI代面欺诈现象。
Kent Beck 如何塑造软件工程行业
Kent Beck 反思敏捷与 TDD，指出在 AI 时代，建立信任比生成代码更能定义软件工程未来。作为 TDD 之父，其关于人机协作中“信任”维度的思考，为技术管理者提供了超越工具层面的战略视角。 
探访 OpenAI、Anthropic 与 Cursor 后的印象
探访 OpenAI、Anthropic 和 Cursor 后的内部观察：云端 Agent 运行成为主流趋势，Coding Harness 正从极客圈向更广泛领域扩散。提供了一手视角，揭示头部 AI 实验室对软件工程演进的真实判断。
什么是推理工程？深度解析
Pragmatic Engineer 深度解析推理工程（Inference Engineering）。随着开源模型能力逼近闭源模型，企业不再只依赖 API，而是通过量化、推测解码、KV Cache 等技术优化自有模型。文章从运行时、基础设施、工具链三层架构，详细说明了如何降低延迟与成本，并指出这是构建差异化 AI 产品的关键工程能力。
Tech interviews with NeetCode
NeetCode shares his journey from Amazon and Google to building a startup, and why deep expertise still matters in the age of AI.
Slow down to speed up: so much has changed in 6 months’ time
An overview of what’s changed in engineering during the last six months, how various tech companies are changing how they work, and why slowing down could be a sensible strategy
The Pulse: 美国禁止Anthropic新模型Fable的重大影响
Pragmatic Engineer Newsletter 本期重点分析美国禁止Anthropic新模型Fable背后的深层含义。文章还跟进Meta如何破坏自身工程师文化，以及SpaceX IPO、SpaceX收购Cursor、Cursor推出GitHub竞品等科技圈动态。内容涵盖AI监管、大厂内部治理和顶级科技公司资本运作，具有极高的信息密度和行业讨论价值。
与 Robert Erez 探讨 CI/CD：从 Kubernetes 到 AI 驱动的现代交付
Pragmatic Engineer 专栏邀请 Octopus Deploy 的 Robert Erez 对谈。内容涵盖 Kubernetes、GitOps、渐进式交付，以及 AI 在 CI/CD 中的应用和现代软件交付流程的演变。 