At a glance, it seems like some of those are available on infoq.com. infoq still has some problems but all in all it's a lot better. And it even offers MP3 downloads of some talks, which I've made extensive use of.
I'm not letting Vimeo off the hook either: I wanted to see the videos bigger, but not full screen. Clicking their logo said "sorry there was a problem loading this video". So I clicked "Watch later" and both videos were added to my Vimeo profile with title, screencap, etc. Clicking either video there tells me that I don't have permission to watch the private videos. Argh.
EDIT: Now I can't even watch the videos on the Skills Matter page. I get this message: "You have been temporarily blocked from Vimeo - The connection you are using has been automatically prevented from communicating with Vimeo's servers. This ban will be lifted automatically after an appropriate period of time." WTF?
I'll guess this is the same as the 'unconference' talk that David Nolen gave at the 2012 Conj. He's doing some really spiffy stuff with the new constraint mechanism in core.logic, and this talk was among the best of the week.
I really liked that talk, I had not seen the constraint logic programming befor. David mentions that the zebra example would be better solved with constraints. Is there a example of solving the zebro puzzle with constrains?
Also about the predicate dispatch work, is there allready some code somewhere one could look at (other then core.match)?
http://skillsmatter.com/podcast/scala/the-language-of-the-sy...