Leslie Lamport: Thinking Above the Code
Microsoft Research · 5 HN recommendations
Video Q&A
Ask AI to explain this scene or summarize the whole video. When an answer includes timestamps, select one to jump to that moment.
Try asking: What is the speaker explaining here?
Google sign-in is required. Review the maximum credit cost before confirming.
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.
Why HN recommends it: 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+.
“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.” Read on HN ↗