<story><title>Leslie Lamport: Video course on TLA+</title><url>http://lamport.azurewebsites.net/video/intro.html</url></story><parent_chain></parent_chain><comment><author>ahelwer</author><text>Great to see this here! I act as a TA for Dr. Lamport&amp;#x27;s TLA+ courses at Microsoft, and can answer any questions y&amp;#x27;all have.&lt;p&gt;TLA+ in one sentence: it is a language used to write specifications, same as you might write a spec in English&amp;#x2F;your chosen informal language, except here you write your spec in basic mathematics; benefits of a formal specification language include freedom from ambiguity, model-checking, and even machine-checked proofs of correctness.&lt;p&gt;This language is a joy to use and I&amp;#x27;ve found it really affects the way I think about system design.</text></comment>
<story><title>Leslie Lamport: Video course on TLA+</title><url>http://lamport.azurewebsites.net/video/intro.html</url></story><parent_chain></parent_chain><comment><author>algorithmsRcool</author><text>Introduction @2:49&lt;p&gt;&amp;quot;What kind of clown am I claiming that I know what can make you think better? ... This is not the time to be modest. I have done seminal research in the theory of distributed and concurrent systems for which i won the turning award. You can stop the video now and look me up on the web. &amp;lt;long pause&amp;gt;...&amp;quot;</text></comment>