The Most Correct Computer (How Urbit Wins) with Philip Monk, CTO of Tlon | The Urbit Series
Other Life
00:00
Is Correctness Really More Important Than Performance?
Anton deden taught you about correctness at all costs, he says. He also said that it's important to specify what is correct in a programme. You should not cut corners for performance or for whatever and don't have any undefined behavior - even exposing those to the programmer causes problems. Anton: "If you do these things, then this will happen. And if you do something else, we're not really sure"
Transcript
Play full episode
