Live data from Hacker News

GitHub code search is generally available

github.blog

71–80 of 156 posts

Re: GitHub code search is generally available

#71

Earlier quoted context omitted.

Loving the new Code Search! Might be super specific, but is there any syntax for searching attributes in HTML elements. For example if a React Component called what's the best way to find all the buttons that are red?

Hmm, you can construct a regular expression, something like: lang:tsx / Example: https://github.com/search?q=lang%3Atsx+%2F%3CButton%5B%5E%5C...

You can do code blocks with 4 consecutive spaces. Backticks are not supported unfortunately

Re: GitHub code search is generally available

#72
post #48
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.

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

#73

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…

Github -> gitlab, vs code -> jetbrains. why use wsl just go to linux. No one forces you to use their products they’re just a better developer experience imo aside from windows. Plenty of competition in the space. The question is does better equal monopoly?

Re: GitHub code search is generally available

#74
post #44

Earlier quoted context omitted.

gitea

... is nice but needs the social network effects. Maybe adding some federation and stars / comments as a protocol (not just a program) could help. Maybe it exists and lacks coherence/ publicity.

One of the best things that could be done for open source is to break the monopoly on those damn stars.

Open source would be a lot healthier if social proof were portable across platforms.

Re: GitHub code search is generally available

#75
post #74
post #44

Earlier quoted context omitted.

... is nice but needs the social network effects. Maybe adding some federation and stars / comments as a protocol (not just a program) could help. Maybe it exists and lacks coherence/ publicity.

One of the best things that could be done for open source is to break the monopoly on those damn stars. Open source would be a lot healthier if social proof were portable across platforms.

...who has ever cared about stars?

Re: GitHub code search is generally available

#76

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 would expect them to purchase StackOverflow too. I guess it's not that essential, seems a low cost acquisition.

Re: GitHub code search is generally available

#77

Earlier quoted context omitted.

except windows itself is not loved by most developers, microsoft will take over the developer world when it replaces its windows with linux fully(instead of WSL2, which is nice but not great)

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

#78
post #57

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…

> more people aren't talking about how Microsoft has a near monopoly on the developer ecosystem. But do they? In my day job, outside of the occasional use of Visual Studio and developing on a Windows machine, I use no Microsoft products for development. > credit to Microsoft for rehabbing their reputation with developers With a fair number of younger developers, but certainly not all. Most devs I know don't think of…

I don't think they have one today, but it is looking like they could soon have one. Especially since I believe recent reports show that Azure is starting out pace AWS in adoption? So you have .NET, Visual Studio (Code), Azure, Github, OpenAI, Windows, and I am pretty sure more I am forgetting about. I think the big one that wasn't initially mentioned was Azure.

Re: GitHub code search is generally available

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

I imagine a future in which this is integrated into vscode so I can go from an error message in the terminal to a search through my code + third-party modules that my code is importing

Re: GitHub code search is generally available

#80

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?

I don't know the numbers by heart. But if it isn't a higher percentage of profit right now.It certainly takes the cake for largest growth percentage with it eclipsing everything else soon (if it hasn't already).
Post reply on HN