Former Google executive to run U.S. patent office | Dark Hacker News