Don't have Telegram yet? Try it now!
https://code.zoia.org/posts/2011/08/25/john-carmack-on-rigorous-code-analysis/
John Carmack on rigorous code analysis