And Boulder is the smartest place in the country, really