Impressive! Really fast, full featured code search across a huge corpus. 1. How did you build the index? Did you use a GitHub dump of some sort? How often do you refresh it? 2. Is it Elasticsearch or similar or a completely custom engine? 3. What kind of RAM/CPU are you using to power it? 4. Any plans to open source the code or commercialize the technology? I could absolutely imagine paying for a private code search…
Show HN: Search code in GitHub repos using regular expressions
11–20 of 165 posts
Re: Show HN: Search code in GitHub repos using regular expressions
#12How did you pick the 500k repositories to index out of the 28 million or so which are public?
Re: Show HN: Search code in GitHub repos using regular expressions
#13Re: Show HN: Search code in GitHub repos using regular expressions
#14Earlier quoted context omitted.
Can you elaborate how you found them?
I looked for strings that I am sure only appear in my code, and I found several copies of them, but not mine.
Details like this would help the OP to track down the exact cause of why it has indexed the forks but not the original repo.
Re: Show HN: Search code in GitHub repos using regular expressions
#15Re: Show HN: Search code in GitHub repos using regular expressions
#16@danfox, sent you an email though commenting here too.
I'm the CTO @ GitHub. Would love to talk to you about this and other things we are building in this area at GitHub.
Feel free to email direct to jason at github.com
Re: Show HN: Search code in GitHub repos using regular expressions
#17Re: Show HN: Search code in GitHub repos using regular expressions
#18Why regex still exists? It is unintuitive, requires mastering an obscure syntax, it is very hard to debug, and very difficult to explain to others how it works. It feels like we are trying to write intermediate code by ourselves, while we should have a human readable language that generates regex.
Re: Show HN: Search code in GitHub repos using regular expressions
#19Re: Show HN: Search code in GitHub repos using regular expressions
#20That podcast is at: https://runninginproduction.com/, drop me a line at nick.janetakis@gmail.com if you're interested.