Dijkstra 的预言失败：大学理论脱离工程实践
lemire · x · 2026-08-31
Daniel Lemire 回顾 Casey Muratori 关于 1960 年代软件危机的演讲。Dijkstra 曾认为需要更多规划和形式化验证来解决编程难题，大学为此推动了几十年。但 Fred Brooks 等从业者指出，在实践中需求往往通过尝试和迭代被发现，而非预先定义完美的形式化规范。Lemire 认为这暗示了当前 AI 领域可能也在重复类似的理论与实践脱节。
「公司和人」频道最新
- Linear 产品主管加入 OpenAI 从事 Codex 与 ChatGPT 工作 — himanshustwts · 2026-08-31
- 神经计算研究员转行工业界，求推荐相关公司 — KordingLab · 2026-08-31
- OpenAI 试水按效果付费：仅在任务成功后收费 — The Decoder · 2026-08-31
- 周末原型如何成长为数千谷歌员工的内部工具 — rseroter · 2026-08-31
- DataTalks.Club 推出 AI Dev Tools Zoomcamp 2026 课程 — Al_Grigor · 2026-08-31
- 开源模型爆发下，开发者全天候利用智能体工作 — antirez · 2026-08-31