Re: [tlaplus] [Dr. TLA+ Series] Paxos - Andrew Helwer (June 22nd, 10-11:30am PDT)

   >>If anyone knows of others, please tell me where they are.

A few more:

1. Thinking for Programmers   (includes the non-recursive QuickSort example)
     https://www.youtube.com/watch?v=4nhFqf_46ZQ

2. Thinking Above the Code    (somewhat similar to #1, different Q&A)
     https://www.youtube.com/watch?v=-4Yp3j_jk8Q

3. Turing Award Lecture      (This link is broken for me now. It used to work.)
     http://amturing.acm.org/vp/lamport_1205376.cfm

4. A Mathematical view of Computer Systems   (21st Century Computing Conference in Beijing)
     https://www.youtube.com/watch?v=oIwdN-irLqs

5. What is Computation?        (Silicon Valley Leaders Symposium)
     https://www.youtube.com/watch?v=FRLFrZdTkuI

On Wednesday, July 6, 2016 at 6:36:19 AM UTC-7, Leslie Lamport wrote:

Hi Frederic,

I didn't know that a talk of mine on PlusCal was on the web. Could you send
me its URL? Here are the talks of mine that on the Web that I know about.

   Who Builds a Skyscraper without Drawing Blueprints?
     SLIDES NOT SHOWN
     https://www.youtube.com/watch?v=iCRqE59VXT0

   How to Write a 21st Century Proof
   Heidelberg
      http://www.heidelberg-laureate-forum.org/blog/video/lecture-tuesday-september-23-2014-leslie-lamport/
      (The video is in a format my browser can't read.)

   A Mathematical View of Computation
   Heidelberg
      http://www.heidelberg-laureate-forum.org/blog/video/lecture-monday-august-24-2015-leslie-lamport/
   Max Plank Institute, 25 September 2015
     http://people.mpi-inf.mpg.de/~weidenb/SympTalks/

   What is Computation
   Technion
     https://www.youtube.com/watch?v=BDPHfRuAFnU

If anyone knows of others, please tell me where they are.

Leslie


On Wednesday, July 6, 2016 at 5:15:04 AM UTC-7, fl wrote:

While I am not in a reasonable time zone to watch the live broadcast anyway, I had the same concern as Simon. Although the normal Skype works on Linux, Skype for Business is not supported on Linux (not even the so-called web app), so I hope that the recording will be available later in a more portable format.

I take the opportunity of this remark to say my opinion about those lectures that are more and more frequent.

One of them was posted recently by Leslie. I've watched it. It was remarkable. It presented the philosophy
behind TLAPLUS together with some points I was not aware. A really good synthetic lecture. Unfortunately
the site that presented this lecture seems to consider it is its property. Impossible to have a copy
on one's laptop. Not very kind for the lecturer nor for the auditor.

On some other sites lectures can be downloaded. For instance (for those who can speak French):

https://www.college-de-france.fr/site/gerard-berry/_course.htm

But there is still a problem Berry's lectures are very rich and if you want to listen back a part of them
you can't because they are not divided into sections and have no table of contents
and no index and you can't even index by yourself the parts you would like to listen again.

Better than the usual ununderstandable powerpoints but not yet perfect.

--
FL