Questions with a broad scope about general methods and concepts, such as proof-methods, tools for algorithm analysis or basics of computer architecture.

This is *not* for questions asking *for* references, i.e. books or articles.