A look at what went into building the world's largest public code search index.
  • @RonSijm@programming.dev
    6•8 months ago

    That doesn’t really work all the time, because large files or large commits are lazy loaded on scroll, so what you’re searching might not have loaded yet

    The code search does a server side search

    • Prison Mike
      1•8 months ago

      I’m usually using it not to search the codebase but to search for something specific with a file.