Software engineer; co-founder of seven startups, one of which became Google Docs; now working to achieve positive outcomes from AI