Live data from Hacker News

A Whole New Code Search

github.com

81–90 of 113 posts

Re: A Whole New Code Search

#81
post #38

Any stats on how much documents or GB is in the index, how big the cluster is, and how long this took to build?

For those interested:

1212672153 documents across 2866400 repositories taking up 17 TB of disk space over 23 elasticsearch storage nodes fronted by 8 elasticsearch compute nodes

It took about a month to iterate over all the repositories stored on the file servers and index the source code.

Re: A Whole New Code Search

#82
post #68

Earlier quoted context omitted.

https://github.com/gomachan/dotfiles/tree/master/.ssh

Why would people put dotfiles like ssh keys up on public github? This kind of thing is best suited for a private repo (github is still ok, just make it private) - cause it's most likely of no use to anyone but that single user.

I would not suggest that it's okay even for a private repo. Never let your private keys leave your machine or its dedicated, encrypted backup.

Re: A Whole New Code Search

#83

Earlier quoted context omitted.

That is terrifying, I just logged in with three separate accounts and they worked. Obviously I logged out without fucking around with anything; why mess with somebody's professional work. This is dangerous. But then again, is it Github's responsibility to keep these people from shooting themselves in the foot?

is it Github's responsibility to keep these people from shooting themselves in the foot? No.

http://en.wikipedia.org/wiki/Rhetorical_question

Re: A Whole New Code Search

#84

I just updated a userscript I created a while back so it works with the new code search: https://github.com/skratchdot/github-code-search.user.js/ It's just a shortcut for searching the current repository you are viewing (by adding a search box next to the tag count).

Your script would be awesome, something I don't understand why Github doesn't provide natively. Unfortunately it isn't working for me that well. Go to one of my org's repos: http://github.com/railsforcharity/spokenvote and search this string (which is in our seeds.rb): users I not only don't get the right result, I don't get any text in the search results area of the page, not even a nothing found message. Same thing…

Sorry for the delay. I was at work so couldn't respond right away.

All the userscript does is proxy the advanced search results page, so the search you tried hits this page:

https://github.com/search?type=Code&q=users+%3C%3C+User....

If you only search for voter1@example.com, results are shown:

https://github.com/search?type=Code&q=voter1%40example.c...

Anyways, you did find a "0 results" bug which should now be fixed. Thanks for that!

Re: A Whole New Code Search

#86

Earlier quoted context omitted.

Your script would be awesome, something I don't understand why Github doesn't provide natively. Unfortunately it isn't working for me that well. Go to one of my org's repos: http://github.com/railsforcharity/spokenvote and search this string (which is in our seeds.rb): users I not only don't get the right result, I don't get any text in the search results area of the page, not even a nothing found message. Same thing…

Sorry for the delay. I was at work so couldn't respond right away. All the userscript does is proxy the advanced search results page, so the search you tried hits this page: https://github.com/search?type=Code&q=users+%3C%3C+User.... If you only search for voter1@example.com, results are shown: https://github.com/search?type=Code&q=voter1%40example.c... Anyways, you did find a "0 results" bug which should now be fixe…

Glad to point out someone else's mistake for a change ;)

Re: A Whole New Code Search

#88
post #62

Is anyone impressed else by how quickly and successfully* GitHub has been rolling out new features over the past few months? I think almost every one of their new features has in some way made my life a little easier. Kudos to the whole team. * Granted, uptime might have been a causality.

I think you mean "casualty". :)

Re: A Whole New Code Search

#90
post #82

Earlier quoted context omitted.

Why would people put dotfiles like ssh keys up on public github? This kind of thing is best suited for a private repo (github is still ok, just make it private) - cause it's most likely of no use to anyone but that single user.

I would not suggest that it's okay even for a private repo. Never let your private keys leave your machine or its dedicated, encrypted backup.

Although I would never do this myself, if the keys themselves are encrypted with a password and then uploaded, it's not nearly as bad.
Post reply on HN