Live data from Hacker News

GitHub code search is generally available

github.blog

101–110 of 156 posts

Re: GitHub code search is generally available

#101
post #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...

I really enjoyed that blog post. Especially the comparisons that lay out how feasible it can actually be to do the stupid, simple thing of "grep the whole data set every time" up to a surprising point.

Re: GitHub code search is generally available

#102
post #48

Earlier quoted context omitted.

Absolutely. GitHub Code Search is by far the most valuable online development tool I have used the past year. It is so much more useful than Copilot or any of the AI LLMs in my experience. With Code Search, I have: * Rewritten a CMake build system, which would have been practically impossible without access to real-world examples because of how poorly designed and documented it is; * Validated machine-generated trans…

That's really interesting, do you have any examples handy of search queries you used?

It's amazing for searching examples of rarely used / non-public APIs

Re: GitHub code search is generally available

#103
post #81
post #76

Earlier quoted context omitted.

I would expect them to purchase StackOverflow too. I guess it's not that essential, seems a low cost acquisition.

Why would they purchase StackOverflow ? They are partnered with the StackOverflow killer: ChatGPT.

Most of the use I get out of GPT is letting it summarize stackoverflow posts for me.

Re: GitHub code search is generally available

#104
This is a huge upgrade...but one major annoyance with their new interface is some keyboard shortcuts conflict with browser shortcuts. I'm looking at my repo and I ctrl+f to search the current file and start typing my search query assuming it's working...but it's actually focused on the file browser and started trying to edit the file instead?!?

Re: GitHub code search is generally available

#105

Earlier quoted context omitted.

Can't see Linux replacing windows, their most profitable products (Windows and MS Office) are both based on closed ecosystem

Isn't Azure a much higher percentage of profit than Windows or Office for MS at this point?

They very carefully don't actually tell us in their quarterly report. Microsoft is not new to the stock market, wall street, or making things seem different than they are, so O365 revenue isn't actually broken out from Azure revenue, so we just have to guess, based on our biases, which component is doing better vs GCP, and buy stock based on that analysis.

Re: GitHub code search is generally available

#106

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…

"monopoly on developer ecosystem" GitHub? fair OpenAI? how is this a part of dev. ecosystem? Vs Code? wtf? there's a lot of other IDEs/editors and many would argue that they are better >embrace, extend, extinguish strategy with WSL They are EEEing their product - Windows?

> Vs Code? wtf? there's a lot of other IDEs/editors and many would argue that they are better

VS Code is hugely dominant in terms of IDEs used by developers per the StackOverflow survey. It commands more than double the percentage of the next most used… and the second place is Visual Studio.

https://survey.stackoverflow.co/2022/#most-popular-technolog...

Re: GitHub code search is generally available

#107

Earlier quoted context omitted.

Can't see Linux replacing windows, their most profitable products (Windows and MS Office) are both based on closed ecosystem

I don’t know. I’m happily using ms office on a mac and in the browser.

But are you using Microsoft Edge as your browser?

Re: GitHub code search is generally available

#109
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...

Great stuff, is there any update on searches which include code in branches? I often manually find interesting work done in development branches of cloned repos of the one I'm focused on but which never sees the light of day and not found in search. I imagine having the network also part of the search would be a good facet.

I don't see anything in https://docs.github.com/en/search-github/github-code-search/... :/
Post reply on HN