Live data from Hacker News

GitHub code search is generally available

github.blog

31–40 of 156 posts

Re: GitHub code search is generally available

#31

>Without code search, you might have to clone a bunch of repositories and grep through them Why is this an issue? I do have a clone of all my company repos, doesn't everyone? Memory is cheap and ripgrep/ag are fast.

Bandwidth is not cheap for many of us.

Re: GitHub code search is generally available

#32
post #7

I'm Colin from GitHub's code search team, happy to answer any questions. For more info on how we built this, you can check out our technical blog post from a few months ago https://github.blog/2023-02-06-the-technology-behind-githubs...

It would be really awesome if code search could one day consume LSIF for precise results in its index similar to source graph. The symbol search is good now, but approximate. Having more precise code search by allowing devs to upload LSIF data in their CI pipelines would allow for precise symbol search (go to definition / find usages actually being accurate) and remove irrelevant result.

Re: GitHub code search is generally available

#33
I'm happy that at last, my Stack Overflow question and answer have been fully solved with technology improvements!

https://stackoverflow.com/questions/43891605/search-partial-...

It's been almost 6 years, though... for a search scenario that would be trivial to implement with grep (at scale that's another thing...) Still, a nice example of perfect being the enemy of good, I guess.

Re: GitHub code search is generally available

#34

Surprised more people aren't talking about how Microsoft has a near monopoly on the developer ecosystem. They've got GitHub, OpenAI, and VS Code all working together and collecting data that strengthen each other's products while also using their embrace, extend, extinguish strategy with WSL and all of these steer people towards Azure services whenever possible. Seems like something that verges on an anti-trust situa…

Meanwhile CMA: you are leading cloud gaming and hence can't acquire Activision.

Re: GitHub code search is generally available

#35
post #2

I have been using since the beta, truly the most impressive product released in the last 5 years (along with chatgpt). The amount of indexed code, the quickness and the precision of this search is simply stunning.

Is the difference that now the basic search functionality actually works? The previous standard GitHub search I found to be remarkably bad. I would be looking at some small public repo, search for an exact string match I know exists in the code, scope the search to that repo only, and still see zero results. Even copy-pasting a line of code from a file in the repo often resulted in zero matches.

I don't get it too. Maybe one needs to enable something. The search is still useless. Locally I use git-grep.

Re: GitHub code search is generally available

#36

>Without code search, you might have to clone a bunch of repositories and grep through them Why is this an issue? I do have a clone of all my company repos, doesn't everyone? Memory is cheap and ripgrep/ag are fast.

Bandwidth is not cheap for many of us.

how big are the repos at your company?

Bitbucket has a 2GB max size on each repo, I'd suspect other providers have similar restrictions. Would be a problem on mobile but repos that hit that limit are rare.

Re: GitHub code search is generally available

#37
post #32
post #7

I'm Colin from GitHub's code search team, happy to answer any questions. For more info on how we built this, you can check out our technical blog post from a few months ago https://github.blog/2023-02-06-the-technology-behind-githubs...

It would be really awesome if code search could one day consume LSIF for precise results in its index similar to source graph. The symbol search is good now, but approximate. Having more precise code search by allowing devs to upload LSIF data in their CI pipelines would allow for precise symbol search (go to definition / find usages actually being accurate) and remove irrelevant result.

Great point. Yes, we initially focused on zero-config approximate code navigation. But we do intend to support build-based code navigation in the future, since the approximate code navigation experience can be pretty poor for some languages (e.g. C/C++).

Re: GitHub code search is generally available

#38

Surprised more people aren't talking about how Microsoft has a near monopoly on the developer ecosystem. They've got GitHub, OpenAI, and VS Code all working together and collecting data that strengthen each other's products while also using their embrace, extend, extinguish strategy with WSL and all of these steer people towards Azure services whenever possible. Seems like something that verges on an anti-trust situa…

I think there was a lot of discussion on this when Microsoft took over GitHub but as time goes people kind of accepted the reality.

Re: GitHub code search is generally available

#40
post #33

I'm happy that at last, my Stack Overflow question and answer have been fully solved with technology improvements! https://stackoverflow.com/questions/43891605/search-partial-... It's been almost 6 years , though... for a search scenario that would be trivial to implement with grep (at scale that's another thing...) Still, a nice example of perfect being the enemy of good, I guess.

Thanks for your patience! It has been a long road with some dead ends (we've wanted to add this since 2012 at least). We actually wrote about why we didn't just use grep in our last blog post: https://github.blog/2023-02-06-the-technology-behind-githubs...
Post reply on HN