John Cornyn loses GOP primary / hacker news