John Carmack on Software Reliability, Code Analysis, and Functional Programming | Dark Hacker News