use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
2,630 users here now
/r/programming is a reddit for discussion and news about computer programming
the front page of the internet.
and subscribe to one of thousands of communities.
In honor of Robin Miller: Pi-calculus FAQ (cs.cmu.edu)
submitted 8 years ago by AgentLiquid
Post a comment!
[–]borodino 8 points9 points10 points 8 years ago (2 children)
[–]AgentLiquid[S] 5 points6 points7 points 8 years ago (1 child)
My bad: disregard typo, read article.
[–][deleted] -2 points-1 points0 points 8 years ago (0 children)
Nope, you killed it.
[–][deleted] 5 points6 points7 points 8 years ago (7 children)
PDF warning? No?
[–][deleted] 2 points3 points4 points 8 years ago (0 children)
That's funny, because in neighbour thread almost everone is ok with sending CV in pdf file.
[–]dastrawman -4 points-3 points-2 points 8 years ago (4 children)
seriously? are you that helpless?
[–][deleted] 3 points4 points5 points 8 years ago (2 children)
From the Reddiquette: "Put the file type at the end of the title if it is something other than html or text, like [pdf] or [video]." It's just useful. Chill out, bro.
[–][deleted] 0 points1 point2 points 8 years ago (0 children)
It's too bad we're slaves to our technology, all the ducts gently gurgling in the night. If only someone, maybe a regular old Harry, could come along and remove our ossified cultural habits by programming Reddit to include filetypes after submissions.
El Brasil de mi amor; Tierra de Nuestro Señor...
[–]samlee -3 points-2 points-1 points 8 years ago (0 children)
lol your comment is the hot 100 billboard.
[–]bitter_cynical_angry -3 points-2 points-1 points 8 years ago (0 children)
Me: Oh, this could be interesting... ::click:: "Firefox would like to open this with Foxit Reader..." Ah, screw it. ::close::
I dunno if that makes me shallow or something, but it really bugs the fuck out of me to have to read something on my monitor in a format that is meant for print documents.
[–]aintso 3 points4 points5 points 8 years ago (1 child)
Thank you for the Pi-calc paper, I was looking for this; but seriously, [pdf] is in order.
[–]Tim_M -1 points0 points1 point 8 years ago (0 children)
Hover mouse over link, notice .pdf filetype. If you can't do this then disable pdf browser plugin if you have it installed.
[–]zyle 1 point2 points3 points 8 years ago (1 child)
aaaaaargh PDF sneak attack!!1!
[–]cunningjames -1 points0 points1 point 8 years ago (0 children)
AGH a PDF, without warning, I feel violated---raped---scarred indefinitely ...
[–]gnuvince 0 points1 point2 points 8 years ago (0 children)
14 comments: 3 on the typo, 11 on the fact that it's a PDF.
REDDIT and the ALIEN Logo are registered trademarks of reddit inc.
Advertise - technology
π Rendered by PID 6301 on r2-app-0138a6070a361baf4 at 2018-11-20 00:56:27.762430+00:00 running b14303b country code: DE.