John Carmack on Software Reliability, Code Analysis, and Functional Programming

Software quality, code analysis, etc @ around 55m.