Did Texas execute an innocent man? | Hacker News Reader