Video "Theory and Software" (Lecture March 11)