Daniel Le Berre

@dleberre
239 Followers
285 Following
1.4K Posts
Apprendre. Comprendre. Diffuser. Transmettre. Je code donc je suis. Profil par Olivier Sampson.
wwwhttps://www.cril.univ-artois.fr/~leberre/
Sat4jhttp://www.sat4j.org/
PoShttps://www.pragmaticsofsat.org/
Codehttps://github.com/danielleberre/

Had a blast today at Irisa! Very tiring day but what a warm welcome. There were so many attendees for my talk that we had to move rooms, and I got to sign off a copy of my textbook for a grateful student 😊 Many interesting scientific discussions as well, my head is buzzing.

Here are the slides of my talk on feature selection in high-dimensional genomics data: https://cazencott.info/index.php/pages/Talks

Talks & Posters - Chloé-Agathe Azencott

All talk materials on this page are shared under a CC BY-SA 4.0 license. Check out Free knowledge based on Creative Common licenses if you're surprised I'm using a Share-Alike (SA)

Berlin impose le format ODF à toute son administration. Le format propriétaire de Microsoft disparaît de la liste officielle. Ce n'est pas un détail technique : c'est une décision politique qui pourrait faire basculer toute l'Europe.

https://www.clubic.com/actualite-605653-l-allemagne-impose-l-odf-et-exclut-le-format-microsoft-la-souverainete-numerique-commence-par-vos-fichiers.html

L'Allemagne impose l'ODF et exclut le format Microsoft : la souveraineté numérique commence par vos fichiers

Berlin impose le format ODF à toute son administration. Le format propriétaire de Microsoft disparaît de la liste officielle. Ce n'est pas un détail technique : c'est une décision politique qui pourrait faire basculer toute l'Europe.

clubic.com
Who Watches the Provers? — Leonardo de Moura

Leonardo de Moura — Creator of Lean and Z3

Project N.O.M.A.D. is an open-source offline survival computer. Everything runs locally on your hardware.

* Full Wikipedia archives via Kiwix
* Offline maps via OpenStreetMap
* Calculators, reference tools, resource libraries
* Local AI models via Ollama
* A management UI

Runs headless as a server so any device on your local network can access it.
Minimum specs to run the base system: dual-core processor, 4GB RAM, 5GB storage.

https://github.com/Crosstalk-Solutions/project-nomad

#technology #linux

GitHub - Crosstalk-Solutions/project-nomad: Project N.O.M.A.D, is a self-contained, offline survival computer packed with critical tools, knowledge, and AI to keep you informed and empowered—anytime, anywhere.

Project N.O.M.A.D, is a self-contained, offline survival computer packed with critical tools, knowledge, and AI to keep you informed and empowered—anytime, anywhere. - Crosstalk-Solutions/project-n...

GitHub

#esr #veilleESR #CNRS

Qui sera le prochain PDG du CNRS?
Voici que, je ne sais pas trop pourquoi, je me retrouve membre de la commission d'examen des candidatures.

https://www.legifrance.gouv.fr/jorf/id/JORFTEXT000053703970

Les candidatures sont confidentielles.
Les délibérations sont confidentielles.

Mais si vous avez des choses à me dire, par exemple: questions que je devrais poser lors des auditions, informations que je devrais savoir, opinions que vous souhaitez partager: c'est le moment.

Merci d'avance pour votre aide !

Arrêté du 10 mars 2026 portant nomination des membres de la commission d'examen des candidatures à la fonction de président du Centre national de la recherche scientifique (CNRS) - Légifrance

Arrêté du 10 mars 2026 portant nomination des membres de la commission d'examen des candidatures à la fonction ...

📣 Le saviez-vous ?

La Forge (de son vrai nom "La Forge des communs numériques éducatifs") a désormais son compte Mastodon géré et animé par sa communauté.

@brigit_komit

C'est plutôt celui de ses deux mascottes en fait, Brigit & Komit (vous avez la réf' ?).

Maintenant que vous savez, n"hésitez pas à le faire savoir ;)
🙏

📣 À l'Éducation nationale, il y a certes le "contrat Microsoft" mais il y a aussi des projets comme la Forge des communs numériques éducatifs, par et pour les enseignant(e)s et leurs élèves.

On vient de faire un gros effort (100% humain) pour mieux y présenter ses ressources sur un nouveau site : "La Ressourcerie".

https://ressourcerie.forge.apps.education.fr

N'hésitez pas à explorer et relayer l'information.

D'autant qu'il y a des ressources dont l’intérêt dépasse le cadre du ministère :
https://ressourcerie.forge.apps.education.fr/?profil=tout+public

Repérer en un coup d’œil les articles scientifiques rétractés? c'est désormais possible dans BibCnrs.
En savoir plus : https://www.inist.fr/nos-actualites/les-articles-retractes-desormais-signales-dans-bibcnrs/

Trying to read the microGPT sourcecode.
(https://karpathy.github.io/2026/02/12/microgpt/)

I love the idea of the project, but imho its readability suffers from:
- putting stuff on one line that would be better readable on multiple lines (probably to stay under 200 lines)
- using 2 or 3 character variable names. i.e. wo being weightsOutput, x being any vector etc. (mathematical conventions? Copied from the original GPT2 code?)

#microGPT #programming #style

microgpt

Musings of a Computer Scientist.

No, “AI” is not a Stochastic Parrot 🦜 | by Margaret Mitchell | Mar, 2026 | Medium
https://medium.com/@margarmitchell/no-ai-is-not-a-stochastic-parrot-a99e57766bed

Lisez ça, ça remet bien les idées en place.

Mitchell revient sur la métaphore des perroquets stochastiques. Elle réexplique (l'article originel était pourtant assez clair) que son utilisation permet de pointer les pièges anthropomorphiques des LLM.

Elle détaille néanmoins beaucoup plus pour répondre aux critiques récentes.

"LLMs produce fluent language. Fluent language is what humans associate with intelligence. Therefore, the argument goes, LLMs are intelligent. This is an error in logic that the framing was designed to name."

No, “AI” is not a Stochastic Parrot 🦜

I’ve recently come across a new flavor of AI denialism making the rounds.

Medium