Skip to Content.
Sympa Menu

coq-club - [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors


Chronological Thread 
  • From: Ömer Sinan Ağacan <omeragacan AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] OPLSS 12/13 videos corrupted? -- looking for mirrors
  • Date: Thu, 8 Aug 2013 10:08:37 +0300

Hi all,

Sorry if this is not right mailing list to ask this but I don't know
any better alternatives for this question. I'm looking for mirrors for
Oregon PL Summer School 2012 and probably 2013 videos.

The reason I'm looking for mirrors is because currently some videos on
cs.uoregon.edu website are corrupted and don't run correctly. For
instance, I want to watch category theory lectures from OPLSS 12 but
even the first video is corrupted I have to skip some parts otherwise
my media player just waits there for hours(I tried on several
different machines with different hardware, operations system, media
players, etc. result was the same)

There are also corrupted videos in OPLSS 13, for instance in first
lecture of "Adventures with types in Haskell" class only part 3 works
correctly.

I also considered the possibility of download problems but my download
manager(axel) shows 100% and I downloaded a video several times and
had same problems.

Does anyone here run or know any mirrors?

Thanks.


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



Archive powered by MHonArc 2.6.18.

Top of Page