Pascal Poizat

ICML’s Statement about subversive hidden LLM prompts We live in a weird timeline…

L’informatique en général, et la logique en particulier, perdent l’un de leurs plus brillants ambassadeurs. Gilles Dowek va nous manquer. lemonde.fr/disparitions/a…

some scientists are now hiding AI prompts in papers that instruct potential AI "peer" reviewers to accept the paper 😂

Can also be used with exams, ie asking in a foreign language (wrt country of univ) to give stupid but plausible answers for one that would not have worked on the courses. Tried it once with French(exam)+Korean(injection). Fun fact: 1 student was learning it and asked about it.

Voilà, candidature officielle. Si vous pouvez voter en A2 au CoNRS, pensez à lire les professions de foi et si vous pensez qu’il faut résister à la casse Darwiniste Keylabienne (et pas accompagner) et que résister à cette casse ne peut pas passer par du corporatisme … votez ;-)

Reliable research and citation: For researchers who rely on software, the #SWHID provides a stable & verifiable way to cite specific versions of code, ensuring reproducibility of results. softwareheritage.org/2025/05/14/iso…

Can’t wait to see you at #MSR2025 in Ottawa! 🎉 Prepare for exciting research, networking, and a beautiful city. All travel and accommodation info is ready! 🌍✈️ Details here: 2025.msrconf.org/attending/Trav… 2025.msrconf.org/attending/trav…

#Distinction 🏆 | (Re)découvrez la thèse de Xavier Denis, lauréat du prix de thèse 2024 du GDR GPL et son travail sur la vérification formelle des programmes en Rust, ainsi que les 2 accessits. ➡️ ins2i.cnrs.fr/fr/cnrsinfo/pr… 🤝 @lmf_lab #LABSTICC @LIRISLyon

🔴 🗣️ Ce matin j'ai interpellé la candidate à la présidence du #HCERES (Haut Conseil de l'évaluation de la recherche et de l'enseignement supérieur) en lui rappelant l'évidence : il faut supprimer ce comité Théodule qui épuise les communautés de l'ESR.

The Alps 1 month / year and Netherlands 11 months / year (aka the faculty researcher syndrome).

🚀 3 keynotes + 2 tutorials from MSR experts—exploring milestones, lessons learned, and bold visions for the future of mining software repositories. Don’t miss it! 📝 Early registration until Feb 18: conf.researchr.org/attending/icse… #MSR2025 #FutureOfMSR

#IA #sommetIA #AI #SommetActionIA #hopital

Cet homme est en train de pondre des super productions hollywoodiennes avec un simple téléphone portable.

Tu as vu @DelaplaceFranck ? Pas le local auquel je pensais (un gros MacBook et ollama) mais pas si loin (un bon matos et llama.cpp). Le genre de truc qu’avec toi, Franck nº2 et Pascal (pas moi, l’autre Pascal) se monte pas mal à UEVE (?)