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...
GitHub code search is generally available
101–110 of 156 posts
Re: GitHub code search is generally available
#102Earlier 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?
Re: GitHub code search is generally available
#103Earlier 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.
Re: GitHub code search is generally available
#104Re: GitHub code search is generally available
#105Earlier 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?
Re: GitHub code search is generally available
#106Surprised 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 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
#107Re: GitHub code search is generally available
#108Re: GitHub code search is generally available
#109I'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.
Re: GitHub code search is generally available
#110Earlier quoted context omitted.
I guess Steve Ballmer was right all along...
About developers?