Leslie Lamport 名言引热议:编码之于编程,如同打字之于写作
gdechichi · x · 2026-10-18
转发引用了计算机科学家 Leslie Lamport 的名言:「编码(Coding)之于编程(Programming),就像打字之于写作。」这一区分在 AI 编码工具时代再次被广泛认同——写代码的机械动作与设计程序结构的思考是两回事,而 AI 正在接管前者。
引用者对此表示认同,认为这是当下讨论 AI 编码时常被混淆的关键点。
「编程与Agent」频道最新
- Agent 说「做完了」才是工作的开始:Reddit 开发者热议如何验收 AI 改动 — falafel777 · 2026-10-19
- Lex Fridman 中文导航站开源：一条命令构建 506 个静态页 — vista8 · 2026-10-19
- Lex Fridman 中文站正式上线：网站与开源仓库一同公布 — vista8 · 2026-10-19
- 506 期 Lex Fridman 播客全整理：本地 ASR 转写配上中文精读 — vista8 · 2026-10-19
- 开源语义缓存 HotKV 实测:Claude 调用省 70%,答案质量只降约 6 个点 — HotKV-Ltd · 2026-10-19
- 马斯克转发:Grok 机器人打电话订餐厅,确认后才拨号 — elonmusk · 2026-10-19