My favorite bits from the video: - Why should you think? Because it helps you do things. - When should you think? Before you write any code. - How should you

My favorite bits from the video: - Why should you think? Because it helps you do things. - When should you think? Before you write any code. - How should you think? By writing. "Writing is nature's way of letting you know how sloppy your thinking is". To think, you have to write. If you think without writing, you only think you're thinking. - What to write? Write a specification. It can be simple or "mathematical prose" or a fully formal specification. A spec is simply whatever you write before coding. - (00:44) Why write the spec? To be sure what the code should do before you write it. - What code should you specify? Any code that someone else might use or modify. That someone could be future you. He did talk about his TLA+ tool, but the points above were the thrust of this talk.