Programming and Libertarianism