Follow
RT @CompSciFact
C++ templates are Turing-complete http://matt.might.net/articles/c++-template-meta-programming-with-lambda-calculus/
