earl + video   56

oregon programming languages summer school: logic, languages, compilation, and verification
"The program consists of 80 minute lectures presented by internationally recognized leaders in programming languages and formal reasoning research."
video  coq  proofs  verification  monads  types  category-theory  lambda  logic  compsci  from delicious
september 2012 by earl
an ffmpeg and sdl tutorial
"how to write a video player in less than 1000 lines"
tutorial  av  video  ffmpeg  sdl  from delicious
august 2010 by earl
freebase gridworks 1.0 beta vverview (vimeo)
"an experimental tool for cleaning up grid-shaped data sets"
  video  via:gavin 
march 2010 by earl
unidemo (youtube)
2m30s eindruecke von der demo am 2009-10-28
unibrennt  video 
october 2009 by earl
zib 24 studentendemo, 29.10.2009 (youtube)
bericht mit eindruecken von der grossdemo am 28., danach kurze diskussion zw unibrennt aktionistin und AG vertreter
unibrennt  video 
october 2009 by earl
They Shoot Music
"a viennese videoblog featuring artists that can be vaguely described by the blurred out term indie"
video  music  vienna  tracking 
august 2008 by earl
Three Beautiful Quicksorts
Jon Bentley presentes three different takes on quicksort: a extremely simple implementation for teaching, an algorithmic analysis and a industrial-grade implementation. Extremely fun to watch, must-see.
august 2007 by earl
OSCON 2007 - Steve Yegge
rambles about brands and how to (not) establish one
august 2007 by earl

Copy this bookmark: