Journal

Dans ma politique — personnelle et un peu maladroite — de centraliser mon contenu sur mon site web et de moins dépendre des réseaux sociaux, je me suis réintéressé aux flux de syndication ATOM (et par extension RSS). En mettre en place sur ce site fut assez facile, notamment grâce au paquet OCaml Syndic et le greffons Yocaml_syndication développé par Psi-Prod, une équipe dont j'apprécie beaucoup le travail — qui teinte leurs projets d'une idéologie très forte, que j'apprécie beaucoup, tirant parti de OCaml, YOCaml, MirageOS et propageant leurs articles sur le réseau Gemini.

Maintenant que je peux diffuser mon contenu sur les ondes via un flux ATOM et que, malgré ce qu'en disent certains, ATOM et RSS sont encore utilisés par beaucoup de développeurs — du moins dans ceux que je suis, j'ai décidé de trouver le client idéal. J'ai trouvé ça assez contrariant d'avoir des difficultés à en trouver un correspondant à mes attentes. En ce moment, j'en expérimente deux, simultanément pour me faire une opinion :

• Newsboat
  Un client qui s'exécute dans le terminal, qui est configurable et facile à utiliser. Pour le moment, je n'ai pas encore grand chose à redire si ce n'est que je n'ai pas encore trouvé comment construire une vue qui affiche une liste uniforme et ordonnée de tous les flux auxquels je me suis abonné.

• Fraidycat
  Un client bureau, mais qui fonctionne aussi sous forme d'extension de navigateur — j'utilise actuellement l' extension Firefox. L'ergonomie est, de mon point de vue, légèrement superieure à celle de Newsboat et ... étonnamment, j'aime bien le feel and look de l'application. Par contre, comme pour Newsboat, je n'ai pas trouvé comment faire un flux exogène et ordonné. Le client supporte beaucoup de formats de syndication (même s'il est probable que je ne me contente que de RSS et ATOM). En bonus, j'ai beaucoup apprécié la vidéo de présentation du projet.

Si un jour, je réussi à surmonter ma terreur de construire des UI en dehors du navigateur, il est probable que je tente d'écrire mon propre client.

Le dernier point que j'aimerais évoquer dans cette brève est un témoignage de tout le respect que j'ai pour Siegfried Ehret pour ses compte-rendus mensuels sur ses lectures. Sa régularité et la diversité des sujets que les articles qu'il lit sont, de mon point de vue, incroyablement impressionnants !

Le 23 Octobre, j'ai eu le privilège de donner une présentation sur le Web3, pour la 10ème édition de Codeurs en Seine, une conférence gratuite (donc de facto, très accessible pour les étudiants et les personnes en reconversions), à Rouen (soit à approximativement 1h30 de Paris) et c'était génial. Un diner des speakers très cordial (et une équipe organisatrice très généreuse), un hôtel très confortable et un très chouette programme (ce qui peut sonner un peu fayot étant donné que j'ai été sélectionné). Donc n'hésitez pas à garder un œil sur l'actualité de la conférence pour vous inscrire à la prochaine édition et, pourquoi pas, proposer un sujet. J'avais déjà eu la chance d'y parler lors de l'édition 2020 (qui, pour des raisons sanitaires, était en visio), mais l'experience du présentiel vaut clairement le coup ! Encore merci à toute l'équipe et aux participants de cette édition 2023.

Concernant ma présentation, bien que, comme chaque fois, préparée un peu trop à l'arrache (il semblerait que ça soit ma manière de fonctionner), je trouve que le public a été réceptif et que ça à pu engendrer de chouettes conversations.

Le 23 Octobre 2023, hier, j'ai eu l'occasion (et le plaisir) d'organiser, dans les bureaux nantais de PaloIT, la quatrième édition de LambdaNantes. J'y ai parlé de Build Systems (et je tâcherai d'écrire un véritable article sur mes lectures) et Nicolas Rinaudo y a présenté une reconstruction des Free monads (où, monade gratuite pour un foncteur). La présentation était excellente, très bien construite, avec un storytelling soigné. Un peu trop longue pour que je la synthétise (et je sais de sources sûres qu'elle sera le sujet d'un article compagnon sur le site de Nicolas), je voudrais m'arrêter sur un point que j'ai trouvé amusant.

Très souvent, quand les Free Monads sont évoquées, on peut observer cette définition (qui est évidemment correcte) :

data Free f a =
  | Pure a
  | Free (f (Free f a))

Dans sa reconstruction, Nicolas propose des noms alternatifs :

data Free f a =
  | Pure a
  | Flatten (f (Free f a))

Même si ça ne change absolument pas l'usage de Free, je trouve que cette reformulation met, très nettement, en lumière, le fait que Free est, en fait, représentation défonctionnalisée d'une monade décrite au moyen de map, qui est provisionné par le foncteur, de pure et de flatten (aussi parfois appelé join). Ce qui permet d'esquisser Freer, qui est la monade gratuite sur un constructeur de type et qui elle, utilise la description via pure et flatmap.

C'était un très chouette événement et la présentation de Nicolas, bien que parlant d'un sujet que je pensais maitriser, m'a ouvert des opportunités pédagogiques !

Les réseaux sociaux m'intéressant de moins en moins, j'ai décidé de déplacer une partie de ma communication à la manière d'un journal sur cette page. Me permettant d'avoir un contrôle plus fin sur les fonctionnalités de publication et potentiellement de conserver mes tickets en cas de migration.

Je l'inaugure avec un dessin, Le Gundam oublié (un fanart à l'interprétation très libre), qui, malheureusement, n'a aucun rapport avec Inktober 2023 pour lequel je suis déjà terriblement en retard.