Trade-offs

Their wordsFormal verifiers have a dilemma: the more expressive the language, the harder it is to prove anything in it. But the less expressive the language, the harder it is to write anything in it.

Their wordsEverything is a trade-off. It's not really In engineering, there's no correct answer like there is in math or science. Engineering is about the best solution at the time.

Their wordsWith this article I'll explain that this trade-off does not apply to software - that high quality software is actually cheaper to produce.

Their wordsI have never really understood the sort of mentality of there's a difference between code that is like well architected by some principles and code that runs quickly because in my experience usually the code that is architected properly is also the code that runs quickly.

Their wordsHere, I always emphasise that it is an opportunity, not an inevitability. There’s no law that says this will happen.

Their wordsBut I do want to stress that each of these five approaches are all just trade-offs, and none of them are universally wrong.

Their wordsEverything is the result of trade-offs. You will never reach 100% on every axis that you care about. Something has to give.

Their wordsOf course, pledges and plans do not always bear fruit. And Canada’s geography cannot be changed; no matter how much Carney tries to diversify Canada’s economy away from the United States, there will always be some asymmetric dependence.

Their wordsThere will always be a tradeoff between efficiency and resilience (not to mention ethics); the food industry opted for the former, and we are now paying the price.