20150711 tech.tech-news: Reddit CEO Ellen Pao resigns