After decades of uncertainty, a motley team of programmers has proved precisely how complicated simple computer programs can get.