Readit News logoReadit News

Dead Comment

v1g1l4nt3 commented on Improving GitHub Code Search   github.blog/2021-12-08-im... · Posted by u/todsacerdoti
jpgvm · 4 years ago
Given the shoutouts to Burntsushi and Lemire this is almost certainly a bitmap trigram index based engine similar to https://github.com/google/zoekt

The index is likely based on Roaring bitmaps, presumably https://github.com/RoaringBitmap/roaring-rs in this case.

Nice architecture, exactly how I would have done it also.

v1g1l4nt3 commented on Improving GitHub Code Search   github.blog/2021-12-08-im... · Posted by u/todsacerdoti
adamnemecek · 4 years ago
I use github search a lot and this would be an insane productivity boost. I signed up for the waitlist. Does anyone working at Github want to bump me in the queue? This is my profile https://github.com/adamnemecek/
v1g1l4nt3 · 4 years ago
You can skip the wait and use https://sourcegraph.com/search instead.
v1g1l4nt3 commented on Improving GitHub Code Search   github.blog/2021-12-08-im... · Posted by u/todsacerdoti
AtNightWeCode · 4 years ago
Of all the tools I use on a daily basis Github is probably the worst. I mean the "Find a repository..." input field on the start page can not even filter out named repositories I have access to in all my organizations. It works for some repos but not all.

Search improvements? It is impossible to create a worse search experience than Github. Just clone and use git grep instead in most cases.

Edit: ...and the 425% price increase for SSO..

v1g1l4nt3 · 4 years ago
No need to clone if you just use https://sourcegraph.com/search.
v1g1l4nt3 commented on Improving GitHub Code Search   github.blog/2021-12-08-im... · Posted by u/todsacerdoti
oever · 4 years ago
Code search on GitHub is only available to people that log in with Microsoft. Clicking on 'Code' redirects to the login page.

It is not a friendly site. Open source projects would do better to use an open source code forge like <https://sr.ht/>.

v1g1l4nt3 · 4 years ago
v1g1l4nt3 commented on Improving GitHub Code Search   github.blog/2021-12-08-im... · Posted by u/todsacerdoti
W0lf · 4 years ago
Great. I'm using grep.app[1] usually as for me the GitHub search is mostly useless. Your mileage may vary though. That being said there are many other great search interfaces that I am using often when I'm trying to find solutions to common problems or specific design patterns. Chromium search[2] comes to mind, Mozilla's Firefox[3], Android[4] or of course Google[5]

[1] https://grep.app/

[2] https://cs.chromium.org/

[3] https://dxr.mozilla.org/mozilla-central/source/

[4] https://cs.android.com/

[5] https://cs.opensource.google/

v1g1l4nt3 · 4 years ago
v1g1l4nt3 commented on Improving GitHub Code Search   github.blog/2021-12-08-im... · Posted by u/todsacerdoti
latenightcoding · 4 years ago
I always though Github's bad search functionality was a business decision. It was so bad for so long. Even if basic improvements are significantly harder at their scale, I just can't comprehend how Microsoft left something so potentially useful be so bad for so long.
v1g1l4nt3 · 4 years ago
Yeah, I'd bet on https://about.sourcegraph.com. Fully focused on code search and are still light years ahead.

Deleted Comment

v1g1l4nt3 commented on Netlify Drop   app.netlify.com/drop... · Posted by u/Brajeshwar
v1g1l4nt3 · 4 years ago
Big fan of Netlify and also their director of developer experience, Cassidy Williams. She's able to distill "life as a developer" accurately into memes. 'Tis a gift. Her twitter with best memes: https://twitter.com/cassidoo Recent interview: https://srcgr.ph/cassidy-williams
v1g1l4nt3 commented on Netlify raises $105M and acquires OneGraph   netlify.com/press/netlify... · Posted by u/marc__1
v1g1l4nt3 · 4 years ago
Big fan of Netlify and also their director of developer experience, Cassidy Williams. She's able to distill "life as a developer" accurately into memes. 'Tis a gift. Her twitter with best memes: https://twitter.com/cassidoo Recent interview: https://srcgr.ph/cassidy-williams

u/v1g1l4nt3

KarmaCake day36November 17, 2020View Original