Leslie Lamport: Thinking Above the Code
Microsoft Research · 5 件のHN推薦
動画への質問
現在の場面の解説や、動画全体の要約を AI に頼めます。回答にタイムスタンプがある場合は、選択するとその場面に移動します。
質問例：ここで話し手は何を説明していますか？
Google でのログインが必要です。確定前に消費クレジットの上限を確認できます。
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で推薦される理由： 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.” HNのコメントを読む ↗