Leslie Lamport: Thinking Above the Code
5 人推荐 · 跨 5 个月 · 2015–2026
中文导读
图灵奖得主 Leslie Lamport 的经典演讲。他强调程序员应像建筑师一样在编码前撰写严谨的形式化规格说明，尤其针对并发与分布式系统；系统阐述了超越代码层面思考的 TLA+ 顶层思维模型。
为什么 HN 推它
程序员逃避写 spec 时的良药，也是走进 TLA+ 形式化验证与分布式系统设计思维的最佳思想引路指南。
「他其实就是在告诉你：动手写代码前先想清楚，多数规格说明起步往往只要几句话阐明意图就够了。」HN 网友原话：He's just saying that you should think before you code and that most specifications should be just a few sentences stating what you intend to do.
英文原摘要（HackerTube / Claude 整理）
Leslie Lamport argues that programmers, like architects, should write rigorous specifications before coding, especially for concurrent and distributed systems. The talk introduces the case for writing specs (the TLA+ mindset) as a way of thinking above the code.
HN points people to it as Lamport's own case for thinking and writing a spec before coding, and as an entry point to TLA+.
HN 上的提及
I saw the TLA+ talk [1] recently and was surprised there was no discussion of code-generation.
If you want a brief introduction to the ideas try some of Leslie Lamports talks on TLA+
He nearly flips out on the guy :))
He's just saying that you should think before you code and that most specifications should be just a few sentences stating what you intend to do.
Leslie Lamport (of Paxos, LaTeX, and TLA+ fame) has been making this point for years.