Pijul, contrôle de version et théorie des patchs

par Pierre-Étienne Meunier - 2022-04-03 16:00–16:55 Studio danse

Pijul est un système de contrôle de versions basé sur une théorie mathématique des changements.

Le contrôle de versions est un outil fondamental du développement. Or, les outils existants (Git, SVN, Mercurial…) sont d'une telle complexité que de nombreux autres domaines du travail informatique ne peuvent pas l'utiliser. De plus, cette complexité crée des processus rigides et des tâches inutiles, ce qui gaspille un temps d'ingénierie conséquent à l'échelle globale.

Pijul prétend résoudre une partie de ces problèmes en utilisant une théorie mathématique solide, tout en étant totalement transparente pour l'utilisateur. En particulier, la commutation de patchs permet une utilisation intuitive et un passage à de très grandes échelles.

[MàJ du 3/10/22]: Lien vers la captation vidéo

---

Notes personnelles:

• Système distribué
• conflit
  • algèbre a la rescousse
    • associativité
    • commutativité
  • Le problème de la fusion a 3 branches (voir)
• Quelles structure de donnée?
  • Proposition de Samuel Mimran (polytechnique)
    • modélisation en graph
• Définition de conflit
  • sommet
• En pratique
  • en rust
  • beta depuis 18/1/22
  • sanakirja: lib structure de données transactionnelle
  • libpijul: les algo de cet présentation
  • pijul: ligne de commande et réseau
  • trussh: implémentation SSH client et serveur rust
• hébergement: nest.pijul.com
  • -> générateur de page de manuel git
• Bonus
  • cherry-picking, clones, partiels, commutation
  • patch détachable
  • peut fonctionner en lecture seule