11 ms·

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!