程序师 ·

【译文】一行代码如何造成 6000 万美元的损失

💡 原文中文，约1700字，阅读约需5分钟。

📝

内容提要

1990年1月15日，AT&T系统故障导致电话无法接通，航班延误，损失超过6000万美元。故障由软件更新中的编码错误引起，工程师花了9个小时修复系统。故障原因是流程失败和人为错误。

🏷️

从AI代码到可信软件：工程约束的实践
文章探讨了“工程约束”如何通过仓库强制执行标准，确保AI生成代码的质量与问责。它强调权限、质量门、证据和可观测性，并描述了从辅助到自主的成熟度阶段。核心是...
DeepSeek-V4 模型结构（3）：序列维度（下），HCA、混合排布与零件
本文详解DeepSeek-V4模型结构：HCA将128个token压缩为一条目，无需稀疏选择；CSA与HCA交错排布，确保全局信息不丢失；滑窗分支弥补压缩...
DeepSeek-V4 模型结构（2）：序列维度（中），Lightning Indexer 与稀疏选择
本文介绍DeepSeek-V4模型中的压缩稀疏注意力（CSA）机制。KV缓存每4个token压缩为一条，1M上下文仍有26万条目，故用lightning ...
DeepSeek-V4 模型结构（1）：序列维度（上），从 MLA 到压缩 KV
本文介绍DeepSeek-V4的注意力机制，从MHA到CSA/HCA的演进，重点分析压缩KV缓存的方法。V4将每4或128个token压缩为一条512维K...
DeepSeek-V4 模型结构（0）：一张图看懂 DeepSeek-V4
本文介绍DeepSeek-V4模型架构：Pro版总参数1.6T、61层，Flash版284B、43层，均采用4条残差流、交错CSA/HCA压缩注意力与Mo...
CD销量激增，实体媒体持续复兴
美国唱片业协会报告显示，2026年上半年CD销量达1750万张，同比增长45.7%，销售额增长58.6%至1.711亿美元，扭转了此前下滑趋势。黑胶唱片销...