PSR J0737-3039: The only known double pulsar | Hacker News Reader