CompuCast - first episode of Edinburgh University's new Computer Science Podcast http://www.computersciencepodcast.com/podcast...
"In this episode we overturn the conventional wisdom about CPUs and GPUs; talk to the father of computational complexity and find out about the latest in interactive theorem provers. We also bring you news from around the world, introduce you to Turing tar-pits, test your knowledge with our computer science quiz and tickle your funny bone with a computer science joke of the month." - Jan Wessnitzer