I am a theoretical computer scientist, concerned with logics; model theory, proof theory and automated theorem proving. I am developing tools – mainly in C++ and C# – to ease my life.

Unfortunately, I could verify a certain hypothesis concerning Stack Overflow, e.g. with this elaborate and this meta question. Stack Overflow mostly consists of a bunch of mediocre coders with rather unhealthy and anti-epistemic attitudes.