3 亿美元火星探测器毁于类型错误,1999 年事故复盘
jimmykoppel · x · 2026-10-22
1999 年 NASA 造价 3 亿美元的 Mars Climate Orbiter 因一个类型错误(英制与公制单位混用)而坠毁。作者 Jimmy Koppel 分享了对这一经典软件工程事故的深度复盘,解释类型系统层面的缺陷如何一步步导致航天器丢失,对关注类型安全与工程严谨性的开发者有参考价值。
「Fun」频道最新
- Goodfellas 梗图改编："我从小就一直想卖数据给前沿实验室" — silver__tsuki · 2026-10-22
- 「Everything is computer」：AI 圈刷屏的双视角梗图 — nptacek · 2026-10-22
- 程序员梗图：逻辑、范畴论、类型论才是该转发的「三位一体」 — miniapeur · 2026-10-22
- PHP 高危零日漏洞（CVSS 9.2）披露在即，评论区笑谈「用去审查的本地 agent 自保」 — AIFlow_ML · 2026-10-22
- Grady Booch 批评机器人遭无端性化，配图是一款 Kickstarter 胸像产品 — Grady_Booch · 2026-10-22
- AI 生成《魔戒》视频穿帮：埃尔隆德发际线后移 — shakoistsLog · 2026-10-22