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

Temps de lecture: 2 minutes

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

Temps de lecture: 8 minutes

«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

Temps de lecture: 4 minutes

«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

Logiciels open source cross platform

Temps de lecture: < 1 minute

Dans ma quête du système le plus versatile possible, j’ai accumulé une liste de logiciels qui sauvegardent si possible en clair leur configuration. Cela permet d’avoir une grosse Dropbox contenant tout mon contenu, et de déployer ces applications ad-hoc sans avoir à les configurer particulièrement.

  • Photo : digikam
  • Musique : mpd + cantata + beets
  • Livres : calibre, (non free android fbreader)
  • Gestion de tâches : taskwarrior
  • Edition d’images :gimp
  • Pdf: okular
  • Communiquer: signal

Edition 2017_12_14 : ajout édition image
Edition 2018_06_07 : ajout musique beets.io
Edition 2020_03_24 : remplace krita par gimp, ajout okular, signal, fbreader

Temps de lecture: < 1 minute

« Il y a deux choses très difficiles en informatique: l’invalidation du cache, et nommer des objets » Phil Karlton

« Mal nommer un objet, c’est ajouter au malheur de ce monde » Albert Camus

Je pense avoir trouvé la cause du malheur de ce monde. Peut-on l’appeler le Karlmus ?

 

Tout est un remix. Raydio 1978 – Victor Demé 2008 – Synapson 2014.

Temps de lecture: < 1 minute

Ce matin, en appréciant un brunch fraîchement préparé, jouait en fond ma radio de funk préférée (radiomeuh sisi). Quand soudain l’épiphanie ! Je pense avoir trouvé une déclinaison de cette chanson, que j’ai tenté de recréer en direct !

Lire la suite Tout est un remix. Raydio 1978 – Victor Demé 2008 – Synapson 2014.

Temps de lecture: < 1 minute

Souvenez-vous que dans les champs de l’observation le hasard ne favorise que les esprits préparés

Louis Pasteur

Planifier un projet innovant

Temps de lecture: 4 minutes

Récemment, nous discutions avec Cédric Carvalho, un ami de l’université, des problèmes rencontrés lorsque l’on travaille sur un domaine nouveau. Un de ces problèmes est qu’il est difficile de prédire finement la date de sortie d’un projet innovant à partir d’un cahier des charges pour de multiples raisons. Le cahier des charges est amené à évoluer au fur et à mesure du développement du projet (méthode agile). De plus, l’estimation du temps de réalisation d’une tâche de programmation est souvent trop optimiste, et ne prend pas en compte les difficultés et opportunités de la réalité. Face à une telle difficulté, pourquoi s’entêter ? Parce qu’une prédiction fine de la date de sortie du projet permet à l’équipe marketing de créer une campagne adaptée, et à l’équipe administrative d’anticiper la trésorerie de l’entreprise.

Cédric m’a conseillé de lire, et j’ai donc lu, Work Rules! (livre en anglais) écrit par Laszlo Bock, le Senior Vice Président of People Operation (Expert vice président de l’équipe management ?) de Google.

De cette discussion dans un petit café a émergé la problématique suivante:

Comment planifier finement la date de sortie d’un projet innovant tout en laissant une marge de manœuvre suffisante à mes collègues pour qu’ils puissent s’adapter aux difficultés et saisir les opportunités ?

Afin de répondre à cette problématique, dans un premier temps (« La culture mange la stratégie au petit déj »), je commenterai une portion de Work Rules!. Ensuite je proposerai deux réponses possibles (Trop de planification tue la planification et Davantage d’informations et d’autonomie) à la problématique.

Lire la suite Planifier un projet innovant

Le Hockey subaquatique

Temps de lecture: 3 minutes

Lors de ma phase de documentation sur le sommeil # polyphasique, j’ai découvert que l’un des auteurs d’un livre sur ce style de vie pratique également un sport atypique appelé Hockey subaquatique.

Au Hockey sub, deux équipes de 6 joueurs + 4 remplaçants s’affrontent pendant 12 minutes. Ce sport d’équipe se joue en apnée, au fond d’une piscine d’une profondeur de 2 à 3 mètres, et au fond de préférence plat. Je m’entraîne avec le club parisien HOPE tous les mercredis.

Lire la suite Le Hockey subaquatique

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

Temps de lecture: 3 minutes

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é» ?

Temps de lecture: < 1 minute

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.

Temps de lecture: < 1 minute

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

Temps de lecture: 3 minutes

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.

Temps de lecture: < 1 minute

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

Temps de lecture: 2 minutes

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

Bonjour Monde !

Temps de lecture: 2 minutes

SERENDIPITEUR

« réaliser une découverte scientifique ou une invention technique de façon inattendue, accidentelle, à la suite d’un concours de circonstances fortuit et très souvent dans le cadre d’une recherche concernant un autre sujet. » wiki

Il y a plusieurs types de découvertes:

Ce qui nous intéresse le plus sont les numéros 3 et 4, lorsque la recherche est intentionnelle mais le résultat inespéré. Quant à l’écair de pensée – je doute de l’existence de cette catégorie mais admettons – c’est imprévisible et parfaitement fortuit donc laissons cela à ceux qui attendent l’éclair de génie.

Lire la suite Bonjour Monde !