Tag Archives: Stack Exchange

Computer Science Stack Exchange Live!

Computer Science Stack Exchange public beta

cs.SE in nondescript beta style

Since my post in December, Computer Science Stack Exchange has gone through private beta and is now accessible for everybody. Head over to cs.stackexchange.com and take a look! We are waiting for your questions so do not hesitate to post anything you have always wanted to know in computer science1, be it theory, applied or even practical!

We also need more expertise: out off almost 190 questions sixteen have yet to receive a good answer. among those are one about equivalence of Büchi automata and linear μ-calculus and another about efficiently learning regular languages.

You might also want to check out our hottest questions, including why Quicksort is often considered the best sorting algorithm, encryption using NP-hard problems and connections between Gödel’s incompleteness theorem and the halting problem.

I am very excited about this site. One one hand, it gives me the opportunity to share my knowledge in computer science with a wide variety of people, and I like teaching. On the other hand, I get to learn a lot. Not only do people ask about things I know next to nothing about so I can learn from the answers, but there are also original concepts. My favorite is Patrick’s proposal of heap automata; I have spent several hours contemplating his question about their power and follow-up questions.

I hope to see you on cs.SE soon!


  1. Mind the FAQ, though.

Spread Out List Items With LaTeX beamer

Everybody tells you that presentation slides should contain only as few pieces of information as possible. If you need more than one word or picture you better have at most three to five items. If you try to do exactly that using beamer for \(\LaTeX\), this is what you get:

Three items huddled together in the middle of the page

Aesthetics aside, item placement is just bad. You would want the items to fill the available space somewhat. In normal documents, package enumitem allows you to control such things both globally and per environment. It seems to conflict with beamer, though. I headed over to tex.SE and got good answers; Werner suggests to add this to the preamble:

\usepackage{etoolbox}
\makeatletter
\patchcmd{\@listI}{\itemsep3\p@}{\itemsep3em}{}{}
\makeatother

With this, your beamer slides do way better:

Three items using the whole page

Note that you can adjust spacing by changing number and unit in \itemsep3em.

Computer Science StackExchange Upcoming

A screenshot of the current proposal for a computer science site in the StackExchange network.

I have posted about Stackexchange before. Helpful folks on various sites have solved many a problem I have had since then. I have posted a bunch of answers which—hopefully—helped out others in return. To say the least, I am convinced of the StackExchange model and am continually amazed at its effectiveness.

The wealth of knowledge saved on the StackExchange network1 has become so extensive that if you google for programming or LaTeX related problem almost certainly a question on Stackoverflow or tex.SE comes up. If not, asking there is often faster than searching the webs and/or trying around. Especially on tex.SE you can expect great answers in a matter of hours.

Now an exciting thing has happened: A proposal for a computer science site has reached commitment phase! That means that a number of people have to vote for the site in order to move it to a beta phase after which it will be a full-fledged member of the network2. The new site is to complement Stackoverflow and its derivates on one and cstheory.SE on the other side, filling the massive gap in between. I am very excited about this; if the community on cs.SE can be only half as good as on some other sites we are about to create the best resource for computer science students, researchers and users the web has seen so far.

But we are not there yet! First we have to have enough people commit to using the new site, then we need a successful beta. If you want this to happen, head over to area51, commit and be part of the community from the start!


  1. Licensed under Creative Commons, mind!
  2. Find more information about the process here.