Re:Why GitHub Won
by jiveturkey on Monday September 09, 2024 @04:09PM
(#41493033)
have you used google's internal code search though? the link you posted is amazing in its performance, for sure. but once you are in some repo and doing what most of us call "code search", github drops off in utility vs google's internal tooling pretty quickly.
i'm only remarking on this because of the context in the parent you are replying to, whom i agree with. local tooling is better than what github provides. as a standalone comment i would simply upvote you.
Chances are that a random stranger on the Internet has not used Google's internal code search. Even if that person has, it would be useful to provide the context for others to understand.
They're talking about Kythe
https://en.m.wikipedia.org/wiki/Google_Kythe
https://youtu.be/VYI3ji8aSM0?si=D3Z3FIsB8wa7MTE6
Think jump-to-def and listing cross references working with c++ aliases, across generated code boundaries, etc.
Re:Why GitHub Won
by jiveturkey on Wednesday September 11, 2024 @05:11PM
(#41515371)
> The entirety of the Google team working on Kythe was laid off in April 2024, as part of a company push to move certain roles overseas.
ouch just OUCH
Yea :(
I've used both. Google's code search is usually better if you know what you're looking for. It's less so if you need to do something that involves cross-language references (e.g. code file that references a translation string).
Local code search is great in JetBrains products. I use PyCharm and even on large codebases the search is almost instantaneous and there are enough filters and options to nail down what you need. While JetBrains often drops the ball on the responsiveness of their products, the search remains fast as far (and as recent) as I remember.
Re:Why GitHub Won
by upcoming-sesame on Monday September 09, 2024 @04:54PM
(#41493694)
Why is this not the default?
Re:Why GitHub Won
by NoahKAndrews on Monday September 09, 2024 @05:42PM
(#41494299)
I believe it is nowadays. For a while it was in beta.
[1] https://cs.github.com/