Foundations of Code