Clojure:

• [Meetup] Introduction to Clojure — Toulouse Java User Group November 2017 (FR)

  
  Abstract:
  

  “The greatest single programming language ever designed.“ - Alan Kay, about Lisp.

  Clojure est un langage fonctionnel pour la JVM inspiré du plus ancien langage de programmation fonctionnel: Lisp.

  En bon héritier, Clojure expose un style de programmation dynamique (REPL) basé sur des fonctions “as first-class citizens”, l’immutabilité et des structures de données persistantes.

  Ses puissantes abstractions sur les collections et le polymorphisme ainsi que ses modes de gestion de la concurrence en font un langage adapté à tous types d’applications.

Java:

• [Conf] Projet Loom — La concurrence au bout du fil — JUG SummerCamp 2019 (FR)

  Quick(ie) version.
  Abstract:
  

  Le domaine de la programmation concurrente utilise le champ lexical de la filature et nous met les nerfs en pelote avec des concepts qui s’entrelacent : fibers, threads, lightweight-threads, green threads, loom…

  Peut-être avez vous également entendu parler de coroutines ? Rassurez-vous, tout est lié.

  En 15 minutes je vous donnerai un aperçu de ce que le projet Loom ambitionne d’apporter à la JVM et de quelle façon vous pouvez déjà en profiter, sans trop tirer sur la corde, avec Quasar.

• [Conf] Untangled — Sneak peek at Project Loom — Voxxed Days Ticino 2019 (EN)

  
  Abstract:
  

  Concurrent programming borrows a lot of terms from weaving and twists our minds with intertwined concepts: fibers, threads, lightweight-threads, green threads, loom… Maybe you’ve heard about coroutines? Don’t worry, everything is linked.

  During this talk, we’ll get weaving, show code samples and talk about project Loom, whose goal is to bring “lightweight concurrency“ mechanisms to the JVM, along with APIs to embroider the story.

  We will talk about project Loom’s inception and recent prototypes. You will also see its mesh goes far beyond “simple“ primitives to revolutionize the JVM.

• [Conf] Untangled — Sneak peek at Project Loom — Voxxed Days Cluj-Napoca 2019 (EN)

  
  Abstract:
  

  Concurrent programming borrows a lot of terms from weaving and twists our minds with intertwined concepts: fibers, threads, lightweight-threads, green threads, loom… Maybe you’ve heard about coroutines? Don’t worry, everything is linked.

  During this talk, we’ll get weaving, show code samples and talk about project Loom, whose goal is to bring “lightweight concurrency“ mechanisms to the JVM, along with APIs to embroider the story.

  We will talk about project Loom’s inception and recent prototypes. You will also see its mesh goes far beyond “simple“ primitives to revolutionize the JVM.

• [Meetup] Loom — La concurrence sans s’emmêler les ficelles — Montpellier JUG 2019 (FR)

  
  Abstract:
  

  Le domaine de la programmation concurrente utilise le champ lexical de la filature et nous met les nerfs en pelote avec des concepts qui s’entrelacent : fibers, threads, lightweight-threads, green threads, loom…

  Peut-être avez vous également entendu parler de coroutines ? Rassurez-vous, tout est lié.

  Au fil de cette présentation (em)mêlée d’exemples de code, vous découvrirez le projet Loom qui a pour vocation d’apporter à la JVM des ”mécanismes léger de concurrence”, ainsi que des API plus haut niveau pour broder dessus.

  Nous aborderons ensemble l’origine de Loom et ses récents prototypes. Vous vous apercevrez que son maillage va au delà de ”simples” primitives et peut nous amener jusqu’à révolutionner la concurrence sur la JVM.

  Et en attendant la révolution vous verrez comment vous familiariser avec ces concepts sans tirer trop sur la corde, en utilisant la librairie Quasar.

• [Webinar] Loom — La concurrence sans s’emmêler les ficelles — Bordeaux JUG 2020 (FR)

  
  Abstract:
  

  Le domaine de la programmation concurrente utilise le champ lexical de la filature et nous met les nerfs en pelote avec des concepts qui s’entrelacent : fibers, threads, lightweight-threads, green threads, loom…

  Peut-être avez vous également entendu parler de coroutines ? Rassurez-vous, tout est lié.

  Au fil de cette présentation (em)mêlée d’exemples de code, vous découvrirez le projet Loom qui a pour vocation d’apporter à la JVM des ”mécanismes léger de concurrence”, ainsi que des API plus haut niveau pour broder dessus.

  Nous aborderons ensemble l’origine de Loom et ses récents prototypes. Vous vous apercevrez que son maillage va au delà de ”simples” primitives et peut nous amener jusqu’à révolutionner la concurrence sur la JVM.

Kafka:

• [Workshop] Kafka: Journal et Métamorphose — Snowcamp 2020 (FR)

  
  Link: https://sched.co/XoNQ
  Abstract:
  

  Mettons ensemble les mains dans le cambouis d’Apache Kafka et Kafka Streams !

  On entend parler de Kafka partout, et Confluent Inc fait de son mieux pour que le buzz ne s’arrête surtout pas. Il faut bien reconnaître que si Kafka, le log, s’impose comme élément incontournable des applications distribuées depuis 2011, ce n’est pas pour rien. D’ailleurs, les fonctionnalités plus récentes de Stream Processing et de base de données distribuée en font plus une solution “end to end” qu’un simple “building bloc”.

  Pourtant nous même, qui l’utilisons en production depuis plus de 2 ans et avons déjà animé des ateliers sur le Stream Processing avec Kafka, nous sommes rendus compte que malgré les beaux schémas et les promesses, Kafka n’est pas si facile que ça à maîtriser. Et certains concepts qui nous semblaient clairs ont finalement nécessité que l’on se replonge dans le design de la bête.

  Dans cet atelier nous proposons une présentation générale d’Apache Kafka et Kafka Streams en mettant l’accent sur les aspects qui peuvent sembler simple de prime abord mais dont les subtilités se cachent entre les lignes (assignation des partitions, transactions, etc.). Et bien sûr, ensuite, place à la pratique et à la résolution de problèmes pour prendre en main l’API Processor, le DSL, la gestion de l’état en mode tests unitaires ou sur un cluster standalone. Et pour les plus rapides : injection de failles pour voir comment la maintenance des garanties (“delivery semantics”) de Kafka (Streams) se manifeste.

Methods:

• [Conf] Architecture Decision Records — Toulouse DevFest 2018 (FR)

  
  Abstract:
  

  Les développeurs aiment écrire de la documentation… ou pas ! Pourtant même les plus réfractaires doivent l’admettre, garder une trace des décisions techniques prises au cours d’un projet peut s’avérer indispensable pour la pérennité et maintenabilité de celui-ci.

  Alors comment éviter l’obsolescence programmée de la documentation, tout en réduisant la pénibilité de la rédaction ?

  Depuis près d’un an, dans mon équipe, nous utilisons un format simple, les Architecture Decision Records (ADRs), pour écrire des documents d’architecture sous la forme d’un journal immuable. Cette technique simple gagne en popularité et a donné de bons résultats sur notre projet.

  Durant cette présentation vous construirez en direct un ADR. En partant d’un problème constaté sur un projet, vous élaborerez une réponse technique qui servira de base à une implémentation ultérieure. Vous décrirez les raisons qui vous poussent à faire des compromis, tout en capturant le contexte dans lequel cette décision a été prise pour référence future.

  Réconciliez-vous avec votre documentation !

TLA+:

• [Conf] Bienvenue à TLA-La-Land (intro à la vérification logicielle) — Toulouse DevFest 2023

  
  Link: https://devfesttoulouse.fr/conferences/bienvenue-a-tla-la-land-ou-introduction-a-la-verification-logicielle/
  Abstract:
  

  Il est bien connu qu’il existe 2 problèmes difficiles des systèmes distribués :

  2/ La garantie de livraison « exactly-once »

  1/ L’ordonnancement des messages

  2/ La garantie de livraison « exactly-once »

  Avec l’avénement des micro-services, la programmation de systèmes distribués, autrefois réservées aux experts, prend une part de plus en plus importante dans le quotidien du développeur d’application.

  Il est aussi bien connu qu’écrire du code concurrent correct est difficile. Quiconque affirmant le contraire est soit naif, soit un menteur (ou bien un génie).

  Avoir un modèle pour raisonner sur notre système distribué, son état et ses échanges devient primordial pour s’assurer que notre système est conçu correctement. Et c’est quelque chose que nous faisons plus ou moins consciemment lors du développement. Cependant un modèle mental a ses limites et il est très facile de passer à coté de quelque chose lors du design.

  C’est précisément là ou TLA+ va nous aider, en nous permettant d’exprimer le design de notre système, et le comportement souhaité sous forme d’invariants, (tout en ommettant les détails bas niveau), ce dernier va pouvoir nous aider à détecter des erreurs dans notre design.

  A travers ce talk, nous allons présenter cet outil de modélisation dans un cas pratique, et espérons vous donner les clefs pour aller plus loin dans le domaine de la vérification logicielle.