A ideia de startup que convenceu uma lenda da ciência da computação a sair do Google