https://www.youtube.com/watch?v=GqmsQeSzMdw Interesting throughout. Main points: Build in abstractions, with symbols and functions.Counter-intuitively, abstractions make precision possible.The more expressive a language, the more ambiguous the content.Or more generally, freedom at one level implies constraints at another level.Plan for interoperability and extension, which also implies limits.As much authority is necessary, but no more.The more something can do, … Continue reading Constraints Liberate, Liberties Constrain