Nicholas Micali on AlgoSync