2 ms·

Sorry to be off-topic but is this an audio or video link or something? I can't work out how to open it...

• coryrc 17y ago
  It is gzip-compressed postscript. The following commands could come in handy: gunzip (or gzip -d) gv ps2pdf
  • Devilboy 17y ago
    Er so I have to download a utility to gunzip it, and then download another one to convert it to a PDF? That's pretty annoying. EDIT: I'm just saying, if you're linking something to HN where hundreds of people will click on it, isn't it more efficient and courteous to convert and re-host it in a format that most people can read?
    • Dilpil 17y ago
      Only the true faithful are allowed to read it.
    • Rantenki 17y ago
      You want to read a mathematical proof about computability, and you need somebody else to gunzip it for you first? LOL!