YubNub for Programming Language Research

YubNub is an online command-line community extensible search engine, or as they say "a (social) command line" for the web.

Some commands which may be of interest to the community are

  • ltu - Lambda-the-Ultimate.org
  • scholar - Google scholar
  • cs - Citeseer
  • oeis - Online Encyclopedia of Integer Sequences

You can also easily create your own commands. Please share any new commands you create or find which may be relevant for the community.

[Edit: Removed "plre - Programming Language Research Engine" from the main list, since it was criticized as being self-promotional.]

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

"Community extensible"

Unfortunately, it seems that members find it more useful to include links that benefit them in some way (digg...)
Use "man keyword" to get the link rather than the page direct.

Unfortunately, it seems that

Unfortunately, it seems that members find it more useful to include links that benefit them in some way

Do you think mentioning the PLRE in the context of YubNub is overly self promotional? I can remove it if you want. Perhaps someone else may care to chime in with an opinion?

Use "man keyword" to get the link rather than the page direct.

What does that mean? What link versus what page?

For the record I have

For the record I have edited the post and removed the mention of PLRE from the main list. However, if you have issues in the future it would be appreciated if you showed the good grace of bringing up your concerns in a more polite manner.

PLRE link

Er... I did not realise one of the links you listed was for your site. I was only commenting on the general state of affairs on YubNub, if you look at the list of commands (ls) you will see what I mean. People just put a link that will get them hits or money or both with no valid content behind. Though there are a number of very valid and useful links, I still recommand using "man" to see the link first.

[edit: clarified my complaint after visiting cdiggins' link]

Please accept my apologies!

Please accept my apologies! I completely misunderstood. My last name is "diggins", so when I saw you write : (digg...) I thought you were referring to me.

No need to apologize

I thought that you may have misinterpreted because "digg" is part of your name. In fact, the first term I searched on YubNub gave me a useless result which linked through the digg site, that is why I wrote that. I am quite happy to have plre available via YubNub and I did not mean to be personal at all. Though your URL looks a bit suspicious... Why is it so long?

By the way, what is your first name?

[Offtopic] Names and Urls

My first name is Christopher. The reason the url is so long is because the Google custom search engine which drives the CSE forces it so. See the discussion here if you want to know how much this aggravated me.

There is however a better way to use the PLRE though: http://www.plre.org/search.php?q=search+term, but the person who added the PLRE to YubNub probably didn't know that.

We should stop any further conversation on this thread though because we are starting to swerve severely off-topic. Feel free to contact me at cdiggins@gmail.com if you have any questions or concerns.