This isn’t strictly related to name binding, but it may interest some of the readers here.
There’s currently plans to set up a Mathoverflow-style site for theoretical computer scientists. Here, theoretical computer science is being widely interpreted to include type theory, programming language semantics, automated reasoning, and so on, as well as the likes of computational complexity and computational geometry. Some example on- and off-topic questions are provided with the proposal definition.
The proposal process is fairly simple. If you wish to support the creation of this site, then simply follow the above link and press “Commit”. Once the “Commit” counter reaches 100%, the site automatically launches in beta-mode.