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 Quote of Newcombe] | |||
{{Blockquote|text=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:04, 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: Quote of Newcombe
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.
— Chris Newcombe