Other articles


  1. Git: commandes utiles

    Voici quelques commandes que nous utilisons régulièrement.

    Supprimer une branche locale:

    $ git branch -D <branchName>
    

    Supprimer une branche distante:

    $ git push origin --delete <branchName>
    

    Créer une branche vide:

    $ git checkout --orphan emptybranch
    

    Supprimer tout les fichiers:

    $ git rm -rf .
    

    Fusion des mise-à-jours sans voir les commits individuels:

    $ git merge --squash ...
    read more

    There are comments.

  2. Implémentation matricielle des réseaux de neurones

    Une implémentation efficace et évolutive des réseaux de neurones doit aujourd’hui utiliser au maximum les nouvelles fonctionnalités de nos processeurs en terme de cache, de parallélisation voire d’utiliser du GPU. Afin d’exploiter nativement des outils très puissants de calculs numériques nous représentons dans cet article les ...

    read more

    There are comments.

  3. Git: utilisation des submodules

    Les projets informatique sont rarement composé d’un unique block contenant l’ensemble de l’application. Une gestion par «modules» indépendants permet une meilleure gestion globale des dépendances, cela implique souvent plusieurs repository avec des versions de code différents. Les SCM classiques ne permettent pas de lier facilement différentes versions ...

    read more

    There are comments.

Page 1 / 2 »