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

@pyviv @lienrag la bonne nouvelle c’est que l’on peut donc donner ce problème à un solveur SAT.

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