Check out the technology preview for GitHub code search, the next iteration for search, discovery, and navigation on GitHub. github.blog/2021-12-08-imp…

@github Is this using @OpenAI's recent code embeddings? beta.openai.com/docs/guides/em…

@github FINALLY

@github Looks like @sourcegraph with less power user features.

@github They actually cloned Sourcegraph lol

@github I thought you might prefer to acquire Sourcegraph rather than build your own alternatives from scratch. 😯

@github Maaaaan that's an awesome feature! I am slightly bummed it is not using tantivy. I would have loved to help build this.

@github well I guess grep.app had a good run

@github Looks 🤩 The only thing that is missing is the option to filter out code results from archived repositories. Sooooo important in large organizations with hundreds or repos.

@github So when I'm searching for something will this search be able to prevent me from getting the 20 results for the same code that has been vendored into 20 different repositories?

@github @joreilly Please, bring it to gists as well 🙏

@github Sourcegraph says Hi

@github Yes, please!

@github They mentioned Lemire, does that mean they use RoaringBitmaps as doclists

@github github.com/github/feedbac… 🙏🏼

@github Ban all Indians from github app. They are misusing and violation the rules of this app.

@github hi，i don't use github,please help me,sorry

@github I just experienced it yesterday!

@github Savage

@github "// how to convert string to javascript date"

@github About time github had Decent search

@github Good project

@github Somebody in #India thought it was perfectly OK to create an App that puts 100's of Muslim women up for Auction and sale. Even more - @GitHub allowed it to be live for 24 hours. Same on you ppl

@github RIP 🪦@sourcegraph … I believe the term was Watsoned

@github @GettyImages

@github Fuck you github...why are you auctioning women?

@github Nice

@github Release date? :)

@github Callmeon7541947911

@github I have an issue with my GitHub account. My domain was sniped a year ago! They kept one my projects online somehow. I don’t have access to the webmail connected to the domain and my GitHub account. If I try signin with my username and password it sends a 6 digit code to old email!

@github wow

@github yeah, meanwhile you can't search for people inside an organization and their support suggests to use their api instead.

@github twitter.com/github/status/…

@github much improved. thanks guys.. will surely save everyone lots of time.