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.

🚀 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.

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...

📰 “Le mécénat de Thales à l’université de Créteil provoque un tollé sans précédent” Par Renaud Lecarde pour @liberation.fr www.liberation.fr/societe/educ...

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

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... -

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)

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

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 !

Tout est politique José... D'ailleurs Latour lui-même qualifie le chercheur de capitaliste du savoir, très bon livre à lire : www.editionsladecouverte.fr/la_vie_de_la...

Au sujet des ingérences étrangères dans la recherche scientifique et du manque de sérieux du Figaro quand il écrit dessus. blogs.mediapart.fr/david-monnia...

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

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)

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...

#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 !

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🧵👇

Je vous recommande fortement la lecture de ce rapport de la Défenseure des Droits qui cite et reprend en partie les conclusions et recommandations de notre rapport sur l'explicabilité des algorithmes publics ! inria.hal.science/hal-04391612

#ESR Recommandations de la Défenseure des droits sur les algo et les outils d'IA dans les #servicespublics * Droit à l’explication des décisions * Publication des informations relatives aux systèmes utilisés * Associer les usagers * Soutenir la recherche www.defenseurdesdroits.fr/les-droits-d...

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.

what

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.

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

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

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

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.

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...

Je plussoie !

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

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 :)

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 :)

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.