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...
GitHub code search is generally available
71–80 of 156 posts
Re: GitHub code search is generally available
#72I 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…
Re: GitHub code search is generally available
#73Surprised 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…
Re: GitHub code search is generally available
#74Earlier 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.
Open source would be a lot healthier if social proof were portable across platforms.
Re: GitHub code search is generally available
#75Earlier 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.
Re: GitHub code search is generally available
#76Surprised 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…
Re: GitHub code search is generally available
#77Earlier 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
Re: GitHub code search is generally available
#78Surprised 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…
Re: GitHub code search is generally available
#79I'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...
Re: GitHub code search is generally available
#80Earlier 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?