Présentation de l’aperçu technique de GitHub Code Search

<p>- Nouvelle fonctionnalité de recherche de code : indexation du code de 5 millions de dépôts publics, avec en plus la possibilité de rechercher dans les dépôts privés auxquels on a accès<br /> - Un index optimisé pour le code et un classement intelligent pour trouver rapidement le code recherché<br /> - Prise en charge de la correspondance de mots, de sous-chaînes, des caractères spéciaux et des expressions régulières <br /> - Définition du périmètre de recherche avec `org:` et `repo:` notamment. Prise en charge de l’autocomplétion <br /> - Filtrage avec `language:`, `path:`, `extension:` ainsi que `OR`, `NOT`, etc.<br /> - Recherche de définitions de symboles avec `symbol:`<br /> - Utilisable uniquement après inscription sur la liste d’attente puis activation<br /> </p>

[ffdd270]

<p>https://grep.app/<br /> <br /> Ça donne l’impression d’une version étendue de ce projet. Le développeur l’avait déjà publié sur Show HN, et c’est ce projet légendaire pour lequel le CTO de GitHub avait demandé s’il pouvait le recruter (...)</p>

[xguru]

<p>J’ai moi aussi essayé de voir où ce développeur ( @danfox ) était allé ensuite, mais je n’ai trouvé aucune trace. <br /> </p>