> Trust, eventually, is always going to be in people. Funny thing about trust; you can trust your enemies to behave poorly too. Trust seems to be about predict

> Trust, eventually, is always going to be in people. Funny thing about trust; you can trust your enemies to behave poorly too. Trust seems to be about predictability first and foremost, and great mathematical work is being done to factor humans out of it. Autonomous vehicles are subject to a formalized version of trust already and engineers are working to get dependent type theory to do verification for them.