Types de données répliquées convergentes et commutatives

TL;DR

Une thèse d’informatique traite des types de données permettant de créer des applications distribuées dont les données convergent sans synchronisation à priori. J’ai traduit et vulgarisé ce papier en deux articles.

Lire la suite Types de données répliquées convergentes et commutatives

Types de données répliquées convergentes et commutatives – Partie 2 : Exemples Pratiques

«La cohérence à terme vise à assurer que les répliques d’un objet partagé modifiable convergent sans synchronisation à priori.»

Ce sujet est composé de deux articles : la première partie est théorique. Elle définit les propriétés mathématiques que doivent respecter les types de données répliqués convergentes et commutatives.

La seconde partie de l’article est un portfolio d’exemples pratiques. Y sont présentés les différents types de base et d’autres types plus élaborés.

Partie 2 : Exemples pratiques


Lire la suite Types de données répliquées convergentes et commutatives – Partie 2 : Exemples Pratiques

Types de données répliquées convergentes et commutatives – Partie 1 : Théorie

«La cohérence à terme vise à assurer que les répliques d’un objet partagé modifiable convergent sans synchronisation à priori.»

Ce sujet est composé de deux articles (hors introduction) : une exploration théorique de ce qu’est un type de données répliquées convergent et commutatif. Cette première partie définit les propriétés mathématiques que doivent respecter ces types de données.

La seconde partie de l’article est un portfolio d’exemples pratiques.

Partie 1 : Modèle théorique


TL;DR

Partons du principe que le réseau distribue à la longue les opérations de mises à jour entre tous les nœuds. Les nœuds sont de confiance et peuvent être déconnectés et reconnectés. Les nœuds continuent à opérer pendant les instants de déconnexion.

Plusieurs contraintes sur les opérations possibles sur les objet de ces nœuds garantissent la cohérence à terme des répliques de cet objet partagé sans synchronisation, ni consensus, à priori.

En basant le type de données sur l’état, ces contraintes sont :

  • Associativité : fusion(x, fusion(y,z)) = fusion(fusion(x,y), z)
  • Commutativité : fusion(x,y) = fusion(y,x)
  • Idempotence : fusion(x,x) = x

En basant le type de données sur l’opération, ces contraintes sont :

  • Associativité : op(x, op(y,z)) = op(op(x,y), z)
  • Commutativité : op(x,y) = op(y,x)

Lire la suite Types de données répliquées convergentes et commutatives – Partie 1 : Théorie

Horaires de sommeil « Everyman » Break. Pourquoi «gagner du temps éveillé» ?

Dormir est vital.

Le corps humain dispose de moyens puissants pour faire connaitre ses besoins à la conscience. À l’image de la faim qui fait saliver à l’odeur de frites dans les rues bruyantes de la ville, la carence de sommeil déclenche des envies de position horizontale, une aversion pour la lumière, ainsi qu’une irritabilité qui détériore les échanges avec les autres afin de réduire le temps restant jusqu’au lit. Les instincts sont naturels et existent pour une « bonne raison » (pas vrai Darwin ?). Si le corps veut dormir, quel autre choix que de l’écouter ?

Lire la suite Horaires de sommeil « Everyman » Break. Pourquoi «gagner du temps éveillé» ?

Dormir d’un sommeil polyphasé afin de gagner du temps éveillé dans une journée.

  • Conditions de l’expérience : Everyman : comme Uberman en plus gentil. Dormir 3h/3h30 la nuit, puis faire trois siestes de 20 minutes la journée.
  • Motivation : maitriser mon sommeil, publier plus de contenu original sur sérendipiteur.
  • Contraintes : conserver mes activités sociales et sommeil monophasé avec ma compagne. Everyman va s’insérer dans les périodes de solitude uniquement.

(suite…)

Bon vent ! Et autres conseils de vie.

Lors de ma remise des diplômes en 2014, j’ai eu la chance d’assister à un discours (genre « Bon vent ! :-D) de Louis Schweizer. Faire un discours intéressant est une chose, faire un discours qui donne envie de se lancer en est une autre. Louis a choisi des mots justes, tout en restant humble pour ce rite de passage des temps modernes. Cette cérémonie des diplômes a marqué pour moi le passage dans la vie « adulte ».

Voici les six « points de sagesse » que j’ai noté. Ils constituent une boussole permettant d’éclairer les choix :

Lire la suite Bon vent ! Et autres conseils de vie.

Sénèque et le Stoïcisme

Lettres à Lucilius

Lettre 1

  1. Suis ton plan, cher Lucilius ; reprends possession de toi-même : le temps qui jusqu’ici t’était ravi, ou dérobé, ou que tu laissais perdre, recueille et ménage-le. Persuade-toi que la chose a lieu comme je te l’écris : il est des heures qu’on nous enlève par force, d’autres par surprise, d’autres coulent de nos mains. Or la plus honteuse perte est celle qui vient de négligence ; et, si tu y prends garde, la plus grande part de la vie se passe à mal faire, une grande à ne rien faire, le tout à faire autre chose que ce qu’on devrait.

Lire la suite Sénèque et le Stoïcisme

Non, the open source modular DAW for linux.

Non is a modular Digital Audio Workstation. It consist of four modules : Timeline, Sequencer, Mixer, and Session Manager. The suggested workflow is to open Session Manager first, to record and save your session : which modules did you launched ? what actions did you do with them ? etc. This modular setup helps making Non a robust software : if Session Manager doesn’t crash, a process that crashes only means the sound will be disabled until Session Manager restores this process.

Lire la suite Non, the open source modular DAW for linux.

De Tricount à Splitwise

Ergonomie Retour d’expérience sur l’impact de l’ergonomie d’une application Android 6 avril 2015

Tricount et Splitwise sont deux applications fonctionnellement identiques : elles permettent de tenir un carnet de compte connecté. Chaque dépense peut-être partagée équitablement entre toutes les personnes d’un groupe, ou arbitrairement : par exemple, Cédric n’était pas là lors de la première tournée de Pampryl, il n’est pas compté pour cette dépense. Le récapitulatif des dépenses ainsi que la balance générale est disponible directement sur l’application et peut être synchronisé en ligne. Ainsi, chaque membre du groupe peut consulter et consigner directement les dépenses, au lieu de devoir se référer à la personne responsable.

Tricount est une application fonctionnelle. Elle offre des capacités qui la rendent compétitive face aux comptes d’épiciers sur un coin de nappe, mais de manière non ergonomique. La totalité des actions ne sont pas présentes d’un simple clic. La synchronisation est manuelle et l’ajout d’un nouveau membre doit faire l’objet de la création d’un nouveau membre, puis du partage avec ce dernier d’un lien hypertexte.

Lire la suite De Tricount à Splitwise