软件状态建模铁律:好工程师消灭非法状态,伟大的再消灭冗余
jimmykoppel · x · 2026-09-12
Jimmy Koppel（STOKE 创始人、《Data-Oriented Design》圈知名工程师）借投资人巨亏的 Miro 为例,重申他 2022 年文章《State of emergency!》中的状态建模框架。
核心论点分四个层级:
- 好工程师让非法状态不可表示（make illegal states unrepresentable）
- 伟大的工程师还要继续消除三类多余状态:Missing（该有的状态缺失）、Redundant（同一事物两种表示）、Overloaded（一种状态承载多重含义）
- 状态有「现实世界→抽象状态→程序状态」的映射层级,建模错误往往源于层级混淆
他认为 Miro 的失败正是违背了这一软件铁律,投资者如果懂得这个原则本可以避坑。
「编程与Agent」频道最新
- 极简 agent harness Pi 走红：可自扩展、四模式，对比 OMP 引发热议 — HankYeomans · 2026-09-12
- Seroter 每日阅读 #865：安全评测榜、git 替代品与端侧省 10 亿 token — rseroter · 2026-09-12
- AI infra 争论焦点从 GPU 转向 CPU:Agent 把瓶颈推向编排层 — AccBalanced · 2026-09-12
- Yutori 浏览器 agent 单任务成本 1.46 美元,不到前沿模型 1/10 — DhruvBatra_ · 2026-09-12
- 实测：Sourcegraph 的 astra 修内存泄漏表现出色 — weswinder · 2026-09-12
- 实测用 Astra 联动 ChatGPT 自动清点并退订订阅服务 — yungcontent · 2026-09-12