What if programmers ran government?