A look at what went into building the world's largest public code search index.
  • Prison Mike
    12•7 months ago

    I always found the code search more distracting than helpful. Just let me use the browser native Command + F ffs.

    • @RonSijm@programming.dev
      6•7 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•7 months ago

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

    • @Venat0r@lemmy.world
      3•7 months ago

      I think it’s referring to when you’re searching the entire code base(s), as opposed to individual pull requests.