At alt.net Seattle as some may remember I was doing a bunch of interviews for infoq.com. On of those quick videos was a talk with Rustan Leino, Mike Barnett, John Lam, and Matt Podwysocki about dynamic languages and static verification. This came from the starting fish bowl on polygot programming. I had to cut it a bit short in terms of time because John had to go but there are some interesting thoughts brought out (in particular the annealing of software over time). Anyways … here is the video, enjoy!