iiinova — where your digital self keeps evolving

Denis Merigoux @denismerigoux.bsky.social · 28/09/2026

Très bel exemple de modification de la sémantique de votre langage pour être plus claire et concis :) Comment vous avez-fait pour les programmes existants ? Vous êtes rétro-compatibles ou vous allez tout patcher ?

110 1

Reposted by Denis Merigoux

Publicodes @publicodes.bsky.social · 28/09/2026

Début juillet s'est déroulé le premier hackathon Publicodes de Calinou ! Nous revenons dans un premier article sur les améliorations faites aux remplacements, un concept central du langage qui permet de facilement modéliser des algorithmes issues de textes législatifs : publi.codes/blog/v2-amel...

publi.codes

Publicodes 2 - Amélioration des remplacements | Blog Publicodes

Présentation des améliorations du comportement des remplacements implémentées lors du premier hackathon Publicodes de Calinou. Publicodes est un langage pour l’écriture d’algorithmes d’intérêt général...

154 5

Denis Merigoux @denismerigoux.bsky.social · 28/07/2026

PV de CA de l'IPP 2019 - 2022 : dossier gagné au TA en avril 2025, recours débouté par le CE en avril 2026, pas d'exécution depuis. "La République mande et ordonne", l'IPP ignore ! opendata.justice-administrative.fr/recherche/sh... opendata.justice-administrative.fr/recherche/TA78

opendata.justice-administrative.fr

Open Data. Moteur de Recherche

Web site created using create-react-app

000 0

Denis Merigoux @denismerigoux.bsky.social · 28/07/2026

PV de CA de l'X 2019 - 2022 : dossier gagné au TA depuis avril 2025, pas de recours, pas d'exécution du jugement. "La République mande et ordonne", l'X ignore ! opendata.justice-administrative.fr/recherche/sh...

opendata.justice-administrative.fr

Open Data. Moteur de Recherche

Web site created using create-react-app

100 1

Denis Merigoux @denismerigoux.bsky.social · 28/07/2026

L'acharnement de l'IPP et de l'École polytechnique (même combat) à user et abuser des recours pour éviter de se plier à leurs obligations est sanctionnée financièrement à hauteur de 3000 € pour les frais de justice. Les avocats ça coûte cher, aidez nous avec un don : asso-acadamia.fr/nous-soutenir/

asso-acadamia.fr

Je soutiens Acadamia ! - Acadamia

L’association a besoin de vous pour faire triompher la transparence ! 1. Je fais un don pour financer l’action en justice Votre soutien est essentiel pour financer les avocat·es qui vont nous permettr...

120 2

Denis Merigoux @denismerigoux.bsky.social · 28/07/2026

Encore une victoire pour asso-acadamia.fr au Conseil d'État, l'Institut Polytechnique de Paris (IPP) reçoit une nouvelle injonction à communiquer le document demandé ! J'attends moi-même depuis plusieurs mois que l'IPP obéisse au tribunal : "La République mande et ordonne", l'IPP ignore.

122 2

Reposted by Denis Merigoux

Nicolas Hervieu @nicolas.eurosky.social · 28/07/2026

Accès aux documents & secret des affaires : Le Conseil d’Etat juge que l’Institut polytechnique peut invoquer le secret des affaires. Même s’il n’a pas un objet industriel & commercial. Mais ici, l’accord de confidentialité avec LVMH (mécénat) n’est pas couvert par ce secret. => bit.ly/4bJn7cQ

5. Il résulte, d’autre part, des dispositions citées au point 3 que de tels documents administratifs ne peuvent toutefois être communiqués qu’à la personne intéressée lorsque cette communication est de nature à porter atteinte au secret des affaires, tel qu’il est défini en particulier par les dispositions de l’article L. 311-6 du code des relations entre le public et l’administration. Elles font ainsi obstacle, sous réserve d’occultation ou de disjonction, à ce que l’Institut polytechnique de Paris, signataire d’un contrat, en communique à un tiers les parties couvertes par le secret des affaires, dont bénéficient notamment les autres parties signataires.

6. En jugeant que l’accord de confidentialité produit et détenu par l’Institut polytechnique de Paris était communicable à toute personne sans que puisse être opposé le secret des affaires, au motif que l’objet de cet établissement public n’était ni industriel, ni commercial, alors qu’ainsi qu’il a été dit au point précédent, cet accord, conclu avec une entreprise, est susceptible de contenir des éléments qui relèvent du secret des affaires de chacune des parties, le tribunal administratif de Versailles a commis une erreur de droit.

7. Il résulte de ce qui précède, sans qu’il soit besoin de se prononcer sur les autres moyens du pourvoi, que l’Institut polytechnique de Paris est fondé à demander l’annulation du jugement qu’il attaque.

8. Il y a lieu, dans les circonstances de l’espèce, de régler l’affaire au fond en application de l’article L. 821-2 du code de justice administrative.

13. Il ressort des pièces du dossier, des mesures de publicité données par les partenaires à leur politique de mécénat, et, en outre, de la mesure d’instruction conduite par le tribunal administratif en application des dispositions de l’article R412-2-1 du code de justice administrative, que l’accord de confidentialité en litige ne comporte que des énoncés généraux par lesquels les partenaires entendent se lier mais qui ne sont pa…

14529 45

Denis Merigoux @denismerigoux.bsky.social · 16/06/2026

"Sur 725 dossiers, 319 ont été examinés de manière partiellement automatisée. [...] Le reste des dossiers, soit plus de la moitié, ont été examinés entièrement à la main en raison de leurs caractéristiques"

100 1

Denis Merigoux @denismerigoux.bsky.social · 16/06/2026

Oui il y a Catala inside, les auteurs viennent en parler lundi prochain : catala-lang.org/fr/seminar

catala-lang.org

010 1

Denis Merigoux @denismerigoux.bsky.social · 08/06/2026

Ce projet éminemment collectif (societes-savantes.fr/prix-de-lint...) me donne personnellement beaucoup d'espoir sur ce qu'il est possible de faire dans le petit monde français de la technologie en réunissant les bonnes compétences au bon endroit pour "faire avancer le schmilblick".

societes-savantes.fr

Le projet Catala lauréat du Prix de l’Interdisciplinarité Scientifique 2026 - Collège des Sociétés savantes académiques de France

Le Collège des Sociétés Savantes, le CNRS et France Universités sont heureux d'annoncer la remise du premier Prix de l'Interdisciplinarité Scientifique. Parmi 48 candidatures, le jury a choisi de cour...

100 1

Denis Merigoux @denismerigoux.bsky.social · 08/06/2026

Merci particulièrement à toutes celles et ceux qui ont eu la curiosité de passer outre le fait que Catala ne soit édité ni par IBM ni par Oracle et d'évaluer en détail ce que nous étions capables de faire !

120 2

Denis Merigoux @denismerigoux.bsky.social · 08/06/2026

C'est pour moi l'aboutissement de 7 années mêlant recherche, développement, enquête, lobbying, gestion de projet, informatique, droit, sociologie, au service du public et du service public du calcul des prestations familiales et des impôts.

110 1

Denis Merigoux @denismerigoux.bsky.social · 08/06/2026

www.inria.fr/fr/cnaf-inri... Ça y est, la CNAF adopte Catala (catala-lang.org) ! TL;DR : Catala marche assez bien pour que la CNAF décide de l'utiliser pour migrer l'ensemble de ses prestations sociales. Envoyez un mail à denis.merigoux@inria.fr si ça vous donne envie de l'utiliser chez vous !

inria.fr

La Cnaf et Inria s’engagent ensemble pour développer Catala, une solution souveraine de calcul des prestations sociales

La Caisse nationale des Allocations familiales (Cnaf) et l’Institut national de recherche en sciences et technologies du numérique (Inria) s’engagent dans une convention de partenariat autour du dével...

331 3

Denis Merigoux @denismerigoux.bsky.social · 04/06/2026

La nouvelle version de Catala 1.2.0 dite « arrêt Blanco » est sortie ! github.com/CatalaLang/c... Profitez des dernières fonctionnalités pour calculer des impôts, subventions, prestations sociales à partir de spécifications juridiques :) PS: grosses nouvelles à venir dans les prochains jours... ⭐

010 1

Denis Merigoux @denismerigoux.bsky.social · 18/04/2026

Moi même je brocarde dans ma thèse (pages 19 à 31) une pensée magique du tout-Rocq pour la vérification de programmes theses.hal.science/tel-03622012v1. Dans mon dernier poste de blog j'explicite un peu ce sous-tend l'adoption d'un langage : blog.merigoux.ovh/en/2026/02/1...

theses.hal.science

Making sure you're not a bot!

000 0

Denis Merigoux @denismerigoux.bsky.social · 18/04/2026

Que pense-tu de la manière dont Rocq pense l'ingénierie logicielle ? J'ai l'impression que le travail de gens comme Théo Zimmerman n'a pas eu l'impact qu'il aurait dû au moment où Lean démarrait : inria.hal.science/tel-02451322v1

blog.merigoux.ovh

Literal translations • Building a language that people want

It has been 5 years since I have submitted the Catala paper to theInternational Conference on Functional Programming

100 1

Denis Merigoux @denismerigoux.bsky.social · 08/04/2026

Contactez-moi si vous êtes intéressé.e, je peux vous donner plus de contexte sur le job et la DSI de la CNAF :)

101 1

Reposted by Denis Merigoux

🏴‍☠️ MC Pablo ∴ @p4bl0.net · 08/04/2026

J'imagine même pas comment j'aurais été AU TAQUET pour postuler à cette offre il y a 10 ans pendant ma campagne de candidature sur des postes de MCF et que j'y croyais plus (bon finalement ça a marché et j'en suis très content). Jamais vu passer une offre de poste d'ingé qui donne autant envie !

173 7

Denis Merigoux @denismerigoux.bsky.social · 07/04/2026

Pour en savoir plus sur la technique derrière Catala et le genre de chantiers en cours, allez voir mon dernier post de blog : blog.merigoux.ovh/en/2026/02/1... 👀.

blog.merigoux.ovh

Literal translations • Building a language that people want

It has been 5 years since I have submitted the Catala paper to theInternational Conference on Functional Programming

022 2

Denis Merigoux @denismerigoux.bsky.social · 07/04/2026

Au programme de travail : outillage pour développeurs, explication et débuggage des programmes Catala ❓, intégration dans un SI complexe 💾, etc.

121 2

Denis Merigoux @denismerigoux.bsky.social · 07/04/2026

d'expertise technique du département « Prestations Individuelles et Référentiels Métiers » pour ses projets liés aux moteurs de calcul des prestations sociales." Le profil recherché est celui d'un.e programmeur.euse OCaml 🐪 ayant déjà contribué à des compilateurs 🔣.

111 1

Denis Merigoux @denismerigoux.bsky.social · 07/04/2026

elle souhaite également internaliser des compétences de maintenance sur l'outillage de Catala au travers de ce poste. Le centre technique Catala a ainsi vocation à produire des contributions open-source sur Catala (github.com/CatalaLang/c...), mais aussi à répondre aux besoins...

github.com

GitHub - CatalaLang/catala: Programming language for literate programming law specification

Programming language for literate programming law specification - CatalaLang/catala

111 1

Denis Merigoux @denismerigoux.bsky.social · 07/04/2026

spécialement adapté à la transformation de spécifications juridiques et réglementaires en code informatique. La CNAF ayant décidé de s'appuyer sur Catala pour les projets de modernisation de son système de calcul des prestations sociales, ...

101 1

Denis Merigoux @denismerigoux.bsky.social · 07/04/2026

📖 Extrait de l'annonce : "Dans le cadre de projets stratégiques pour la branche famille, la ou le candidat intégrera le centre technique Catala de la CNAF. Catala (catala-lang.org/fr/) est un langage de programmation dédié développé par Inria, ...

catala-lang.org

121 2

Denis Merigoux @denismerigoux.bsky.social · 07/04/2026

💻 La Caisse Nationale d'Allocations Familiales (CNAF) recrute un.e ingénieur.e expert.e en compilation/langages de programmation pour contribuer à la maintenance et à l'évolution de l'outillage de Catala ⚖️ ! Candidatez ici 🚀 : www.lasecurecrute.fr/offre-emploi...

255 5

Denis Merigoux @denismerigoux.bsky.social · 06/04/2026

This new #OCaml workplace will surprise you! Who did this??? 😱😱🐪🐪 ➡️ ocaml.org/jobs ... More serious news (in French) tomorrow, stay tuned :)

OCaml job board with the first entry being a job position as a compiler engineer at CNAF

Winnie the pooh tuxedo meme :
tired: "Writing compilers and DSL tooling in OCaml"
wired: "Writing compilers and DSL tooling in OCaml to distribute social benefits to millions of people"

393 9

Denis Merigoux @denismerigoux.bsky.social · 19/02/2026

Hi everyone! Today I come back to blogging with a massive update about what's been going on Catala for the last few years. Hope you enjoy the read, and please comment if you're one of the braves who will manage to get to the end of the post :) blog.merigoux.ovh/en/2026/02/1...

blog.merigoux.ovh

Literal translations • Building a language that people want

It has been 5 years since I have submitted the Catala paper to theInternational Conference on Functional Programming

042 4

Denis Merigoux @denismerigoux.bsky.social · 29/01/2026

Today we release a new version of Catala ! It celebrates the famous "bac d'Eloka" court case that created the notion of commercial and industrial public service in France. Also we have lots of new features, check it out :) ✨ github.com/CatalaLang/c... 📚 Documentation on book.catala-lang.org

github.com

Release Version 1.1.0 - bac d'Eloka · CatalaLang/catala

Version 1.1.0 - bac d'Eloka With this release, we begin a new tradition of naming releases with famous court cases in French administrative law. The Bac d'Eloka case sets a distinction between admi...

051 5

Reposted by Denis Merigoux

SNCS-FSU Inria @sncs-inria.bsky.social · 02/09/2025

Le dossier entre @asso-acadamia.fr et l'école polytechnique sur les contrats de mécénat avec Total passe au conseil d'État ce vendredi ! Nous suivons de prêt ce dossier : nous sommes également en train d'attaquer l'Inria au TA pour obtenir les contrats de partenariats avec les industriels.

045 5

Denis Merigoux @denismerigoux.bsky.social · 22/07/2025

🏛️ Vous êtes porteur de politiques publiques et souhaitez initier un projet numérique répondant à vos besoins et qui passe par la résolution d'un problème difficile ? Découvrez comment le programme Apollo peut vous aider ➡️ apollo.inria.fr/programme/po...

apollo.inria.fr

Pour les porteurs de politiques publiques | Programme Apollo - Infrastructures logicielles en appui aux politiques publiques

Le programme apporte des réponses à des défis technologiques rencontrés par des porteurs de politiques publiques.

010 1

Denis Merigoux @denismerigoux.bsky.social · 22/07/2025

3️⃣ Une solution technologique maintenue dans la durée qui prend la forme d'une solution logicielle, nécessite un développement technologique, et implique un ou des partenaires de la filière numérique française pour garantir la durabilité.

100 1

Denis Merigoux @denismerigoux.bsky.social · 22/07/2025

2️⃣ Un problème numérique difficile qui requiert l’expertise scientifique et technologique de la recherche publique, pour prévenir toute distorsion public/privé.

100 1

Denis Merigoux @denismerigoux.bsky.social · 22/07/2025

1️⃣ Un porteur de politique publique qui commande, soutient et arbitre les décisions du projet en fonction de ses besoins.

100 1

Denis Merigoux @denismerigoux.bsky.social · 22/07/2025

Il s'inscrit dans une démarche de commande publique innovante, en lien étroit avec le Comité Stratégique de Filière «Logiciels et Solutions Numériques de Confiance » (numeriquedeconfiance.fr). 🧪 Le programme donne un cadre à des projets numériques, chacun intégrant trois ingrédients :

100 1

Denis Merigoux @denismerigoux.bsky.social · 22/07/2025

🏢 Le « Programme Apollo » de l'Agence de programmes Numérique — Algorithmes, Logiciels et Usages portée par Inria implique l’ensemble de la recherche publique dans une démarche de renforcement de la souveraineté numérique des politiques publiques par la recherche et l’innovation.

100 1

Denis Merigoux @denismerigoux.bsky.social · 22/07/2025

👩‍💻 Cheffe / Chef de projet Apollo | recrutement.inria.fr/public/class... 👩‍💼 Responsable de l’écosystème au sein du programme Apollo | recrutement.inria.fr/public/class...

100 1

Denis Merigoux @denismerigoux.bsky.social · 22/07/2025

🚀 Programme Apollo : la nouvelle fusée de l'Agence de programmes Inria est sur le pas de tir ! Rendez-vous sur apollo.inria.fr pour en savoir plus et postulez dès cet été pour nous rejoindre et participer à des projets d'infrastructures logicielles en appui aux politiques publiques.

140 4

Reposted by Denis Merigoux

Jonathan Protzenko @protz.bsky.social · 18/04/2025

Friday blogging, about our journey replacing Python's built-in cryptography with verified code from HACL*. I'm very proud of this work: I wrote the first version in 2020, and along the way it had both research (ICFP paper) and industrial impact (Python). jonathan.protzenko.fr/2025/04/18/p...

jonathan.protzenko.fr

15,000 lines of verified cryptography now in Python

In November 2022, I opened issue 99108 on Python’s GitHub repository, arguing that after a recent CVE in its implementation of SHA3, Python should embrace verified code for all of its hash-related inf...

041 4

Denis Merigoux @denismerigoux.bsky.social · 28/03/2025

According to insights.sei.cmu.edu/documents/72..., an active goal in the 2000's was to reach level 2 of the diagram below for project management in the IRS.

100 1

Denis Merigoux @denismerigoux.bsky.social · 28/03/2025

I'm sure that they'll manage to do in a breeze with AI what decades of enterprise modernization efforts has failed to do :) ipmn.net/wp2/wp-conte...

ipmn.net

150 5

Denis Merigoux @denismerigoux.bsky.social · 08/03/2025

Oui bien sûr, toute politique a des effets secondaires. Balance bénéfice risque, etc. Après c'est des choix politiques quand on est dans la zone grise ! Mais la sur les quotas en STEM c'est un choix politique que de pas en faire du tout aussi, un choix très conservateur !

100 1

Denis Merigoux @denismerigoux.bsky.social · 08/03/2025

Quelle catégorie (sauf personnes trans ou intersexe bien sûr, mais qui représentent une minorité numérique à gérer avec bon sens dans ce genre de dispositif administratif). Évidemment en pratique c'est difficile de bien faire les choses mais arrêtons le discours de "la pente glissante".

210 2