iiinova — where your digital self keeps evolving

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

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

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

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

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

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

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

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

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

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

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

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

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

Reposted by Denis Merigoux

Jonathan Protzenko @protz.bsky.social · 24/02/2025

Very proud to announce that our original paper on Catala, presented at ICFP'21, received a SIGPLAN Research Highlight. Incredible surprise! Only four papers received this award for the 2021-2023 period. Congratulations @denismerigoux.bsky.social

2154

Reposted by Denis Merigoux

Sarah Lawsky @sarahlawsky.bsky.social · 24/02/2025

SIGPLAN Research Highlights - recognizing four exceptional PL papers from 2021-2023 - selects as one of the papers "Catala: a programming language for the law," by @denismerigoux.bsky.social , Nicolas Chataing, Jonathan Protzenko www.sigplan.org/Highlights/P... -

sigplan.org

SIGPLAN Research Highlights Papers

161

Reposted by Denis Merigoux

Soizic Pénicaud @soizicpenicaud.bsky.social · 04/02/2025

Hello Bluesky! A few words about me and my work.   I am a qualitative researcher and policy specialist at the intersection of tech/AI and human rights. I have two main areas of focus. ⤵️ (1/8)

1121

Reposted by Denis Merigoux

José Moran @j0mrn.bsky.social · 27/01/2025

Pour les gens dans l'ESR en France, connaissez-vous des journalistes qui s'intéressent aux violences sexuelles dans l'ESR? je suis au courant d'une histoire où une doctorante s'est faite harceler, et j'ai l'impression que le labo/le CNRS cherchent plutôt à étouffer l'affaire et l'avoir à l'usure

4918

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

Si vous travaillez à la CNAM et que vous en savez plus sur les détails des dysfonctionnements de Arpège, n'hésitez pas à me contacter. Si ces dysfonctionnement prennent leur origine dans des difficultés de modélisation des règles de droit dans le SI, je peux peut-être aider !

141

Reposted by Denis Merigoux

Sarah Lawsky @sarahlawsky.bsky.social · 07/12/2024

Tax profs and students: Make your own selected sections tax code and regs now updated for 2025, including fed tax, partnership tax, corp tax, and, new as of this semester, estate and gift tax. Free alternative to commercial selected sections book. www.lawskypracticeproblems.org/codeandregs

lawskypracticeproblems.org

Lawsky Practice Problems

Free practice problems and quizzes for Federal Income Taxation law school classes.

23111

Reposted by Denis Merigoux

Asso Acadamia @asso-acadamia.fr · 03/12/2024

Il y a quelques jours, Bernard Arnault a été élu à l’Académie des sciences morales et politiques. Une élection due à ses contributions scientifiques ... ou aux promesses de mécénat à venir ? L'occasion de revenir sur le mécénat au profit des institutions publiques 🧵 #ESR (ft Cour des comptes)

154

Reposted by Denis Merigoux

Asso Acadamia @asso-acadamia.fr · 18/11/2024

Et surtout n'hésitez pas à soutenir notre campagne en cours pour obtenir une jurisprudence importante pour la transparence devant le Conseil d'État ! www.helloasso.com/associations...

helloasso.com

Mécénat : on veut voir les contrats !

Financement participatif organisé par Acadamia - Les contrats entre universités et entreprises mécènes doivent être rendus publics ! Soutenez Acadamia pour faire triompher la transparence ✊

001

Reposted by Denis Merigoux

Asso Acadamia @asso-acadamia.fr · 18/11/2024

#HelloESR l'association Acadamia débarque ici ! Nous militons pour la transparence dans l'ESR, en particulier nous souhaitons mettre fin à l'opacité des contrats entre universités et entreprises mécènes !

"[université] s'abstiendra de faire toute communication directe ou indirecte, écrite ou orale, susceptible de porter atteinte à l'image et à la notoriété de [entreprise]"
Défendons la liberté académique !
Mécénat : on veut voir les contrats !
Soutenez la campagne : asso-acadamia.fr/don

154

Reposted by Denis Merigoux

Caroline Lequesne @clequesne.bsky.social · 18/11/2024

Transparence algorithmique & administration. Les initiatives se multiplient pour visibiliser les usages et dresser un état des lieux de ce qui se présente désormais comme le "service public algorithmique". Recension sommaire des sites et initiatives à suivre sur la question🧵👇

196

Denis Merigoux @denismerigoux.bsky.social · 07/03/2024

Le projet Catala recrute ! catala-lang.org - une ingénieur.e web jobs.inria.fr/public/class... Les postes sont des CDD de deux ans avec statut d'ingénieur de recherche INRIA. Télétravail possible, pas full remote. Contrat fonction publique, 38 h 30 par semaine, 7 semaines congés + 10 jours RTT.

jobs.inria.fr

Ingénieur développement logiciel spécialiste en web

Offre d'emploi Inria

121

Reposted by Denis Merigoux

SNCS-FSU Inria @sncs-inria.bsky.social · 29/12/2023

La période des stages de M2 va arriver. Rappel qu'à l'Inria nous avons la possibilité de rémunérer ces stages au SMIC, et pas juste en les gratifiant. De nombreuses équipes ont passé le pas et ne gratifient plus les stages.

121

Reposted by Denis Merigoux

Sarah Lawsky @sarahlawsky.bsky.social · 28/12/2023

Thank you to @jtlg.bsky.social for help figuring out how to do this and to @denismerigoux.bsky.social for his open-source commitment which influenced me to do this 6/6

111

Reposted by Denis Merigoux

Sarah Lawsky @sarahlawsky.bsky.social · 28/12/2023

The code generates multiple-choice practice problems and explanations for federal income tax and partnership tax. The problems are a random selection of facts, names, and randomly (but thoughtfully) generated numbers about a range of tax topics 2/n

121

Reposted by Denis Merigoux

Sarah Lawsky @sarahlawsky.bsky.social · 28/12/2023

The code underlying Lawsky Practice Problems lawskypracticeproblems.org is now open-source under a GNU Affero General Public License v3.0. You can view it on Github github.com/slawsk/lawsk... 1/n

github.com

GitHub - slawsk/lawsky-practice-problems: the code for the Lawsky Practice Problems website

the code for the Lawsky Practice Problems website. Contribute to slawsk/lawsky-practice-problems development by creating an account on GitHub.

192

Denis Merigoux @denismerigoux.bsky.social · 13/12/2023

The recording of my presentation at CRCL'23 is now up! youtu.be/7CeTGVp9D9s?... In www.cohubicol.com/assets/uploa..., I criticize some AI & Law research projects for "wanting it all" and looking for an unworkable universal model of law driven by legal formalism and cybernetics.

youtu.be

20 Nov: Symposium on the Future of Computational 'Law' (session 2)

1. Natalie Byrom: 'Legal technologies and access to justice: Towards a research agenda'2. Denis Merigoux: 'Scoping AI and Law projects: Wanting it all is cou...

100

Denis Merigoux @denismerigoux.bsky.social · 22/11/2023

Aujourd'hui, c'est l'heure de mettre à jour le calcul des APL :) Beaucoup de paramètres sont revalorisés avec l'inflation tous les 1er octobre, et il faut traduire ça dans le calcul... github.com/CatalaLang/c...

010

Denis Merigoux @denismerigoux.bsky.social · 06/11/2023

Re, si vous vous y connaissez en GIP je suis aussi preneur de conseils !

000

Reposted by Denis Merigoux

Denis Merigoux @denismerigoux.bsky.social · 05/11/2023

Question pour les juristes en droit public des affaires : comment contractualiser des prestations de services (expertise technique, maintenance informatique) entre entités publiques ? C'est pour le futur de catala-lang.org :)

001

Denis Merigoux @denismerigoux.bsky.social · 05/11/2023

001

Denis Merigoux @denismerigoux.bsky.social · 05/11/2023

Hi all! Don't forget to register for www.cohubicol.com/about/confer...! You'll hear among other things about rounding errors in Slovenian elections and why trying to formalize all law at once may be counterproductive.

cohubicol.com

CRCL23: Computational ‘law’ on edge

Counting as a Human in the Era of Computational Law (ERC Advanced Grant project 2019-2024)

042