Difference between revisions of "Video/Leslie Lamport: Thinking Above the Code"
Jump to navigation
Jump to search
| Line 17: | Line 17: | ||
}} | }} | ||
The section where he cites Amazon Engineer, Chris Newcombe starts here: [https://youtu.be/-4Yp3j_jk8Q?t=1384 | The section where he cites Amazon Engineer, Chris Newcombe starts here: | ||
{{Blockquote|text=[https://youtu.be/-4Yp3j_jk8Q?t=1384 We have used TLA+ on 10 large complex real-world systems. In every case TLA+ have added significant value, either preventing subtle serious bugs from reaching production, or giving us enough understanding and confidence to make aggressive performance optimizations without sacrificing correctness.]|sign=Chris Newcombe}} | |||
=References= | =References= | ||
<references/> | <references/> | ||
Revision as of 14:05, 27 May 2022
Lamport, Leslie (Jul 16, 2014). Leslie Lamport: Thinking Above the Code. local page: Microsoft Research.
The section where he cites Amazon Engineer, Chris Newcombe starts here:
— Chris Newcombe