The Coq mailing list

[Ömer Sinan Ağacan <omeragacan AT gmail.com>]

Awesome! Thanks, Siraaj!

---
Ömer Sinan Ağacan
http://osa1.net


2014-07-08 17:54 GMT+03:00 Siraaj Khandkar 
<siraaj AT khandkar.net>:
> Andrew Appel's lecture videos are up, just not listed on the web page:
>
> $ lftp -e ls
> https://www.cs.uoregon.edu/research/summerschool/summer14/media | grep
> Andrew
> cd: received redirection to
> `https://www.cs.uoregon.edu/research/summerschool/summer14/media/'
> cd ok, cwd=/research/summerschool/summer14/media
> -rw-r--r--  --  Andrew1-1.mp4
> -rw-r--r--  --  Andrew1-2.mp4
> -rw-r--r--  --  Andrew2-1.mp4
> -rw-r--r--  --  Andrew2-2.mp4
> -rw-r--r--  --  Andrew2-3.mp4
> -rw-r--r--  --  Andrew3-1.mp4
> -rw-r--r--  --  Andrew3-2.mp4
> -rw-r--r--  --  Andrew4-1.mp4
> -rw-r--r--  --  Andrew4-2.mp4
>
>
> On 07/07/2014 03:32 AM, Ömer Sinan Ağacan wrote:
>> So this seems to be the most interesting lecture of this year's OPLSS
>> but for some reason videos of it are missing from the webpage. Any
>> ideas why and where can I find them? Or is it not recorded?
>>
>> Thanks.
>>