David Monniaux

https://social.sciences.re/@MonniauxD

Chercheur en informatique inculte, tout à fait mainstream et à la pensée banale.

Uncultured research scientist in computer science. Totally mainstream and with banal thoughts.

he/him/whatever

page professionnelle: https://www-verimag.imag.fr/~monniaux/index.html.fr
CV HAL: https://cv.hal.science/david-monniaux
DBLP: https://dblp.org/pid/m/DavidMonniaux.html
pet project: https://gricad-gitlab.univ-grenoble-alpes.fr/certicompil/Chamois-CompCert

Public Key

npub1yhtg65n85ggj6dgqvmttcxxzgkkh4a0t7vdr5q9fm4tfyxu7r7fqehvq2m

NIP-05 Address

monniauxd_at_social.sciences.re@momostr.pink

Profile Code

nprofile1qqszt45d2fn6yyfdx5qxd44urrpyttt67h4lxx36qz5a645jrw0plyspz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dssfthws

Publishing to

relay.primal.net

relay.damus.io

nos.lol

Author Public Key

npub1yhtg65n85ggj6dgqvmttcxxzgkkh4a0t7vdr5q9fm4tfyxu7r7fqehvq2m

Show more details

Last Notes

2026-04-15 07:08:33 UTC

- reply

Hier, un collègue de Microsoft m'a dit qu'ils ont (en gros) un objectif minimal de dépenses de tokens, pour justifier qu'ils ne perdent pas de temps à coder à la main.
Il m'a rapporté le comportement suivant: une personne déboguait à la main un truc compliqué, et donnait les bouts de programme à modifier au LLM à mettre dans les fichiers au lieu d'éditer directement afin que ça soit compté dans son bilan IA.

2026-03-19 07:31:53 UTC

Les gens qui pensent à mettre de l'IA pour fluidifier les processus administratifs, avez-vous songé que le vrai problème est qu'une bonne partie de ces processus sont non nécessaires, mal organisés, mal documentés, ou "overengineered" ?

2026-03-10 20:24:18 UTC

RE: https://social.sciences.re/@MonniauxD/116206555726992611
Mistral Pro a été laborieux, mais Claude y est arrivé sans que je tienne la main !
#note1042…tt36

2026-03-10 19:35:21 UTC

Je crois que mon benchmark programmation pour les IA est "écrivez moi un script qui extrait de HAL le nombre de publications de Verimag entre 2019 et 2024 et parmi celles-ci celles avec un coauteur ou une coautrice à l'étranger".
Ça l'air bête mais purée ça envoie dans les choux Mistral AI pro.
L'autre benchmark est "Qui est David Monniaux?" (on me dit enseignant-chercheur à Saclay, Marseille, Lyon…).

2026-03-08 12:24:00 UTC

Mastodon me gonfle à me montrer des fragments de conversation qui répondent à des messages que je ne peux pas voir.

2026-03-03 22:39:22 UTC

I wonder if LLMs will be the reason why proof assistants really take off.

2025-11-03 08:22:54 UTC

- reply

Sorry about the joke understandable only for French academics. The Sorbonne as a single university ceased to exist circa 1970 and was subdivided into several universities, some of which kept "Sorbonne" in the name for the aura. Futhermore, in the 201x and later years, there have been mergers.
So today "Sorbonne" can mean
Sorbonne University
Paris 1 Panthéon-Sorbonne University,
Sorbonne Nouvelle University
It's also the name of a big building in which all these universities have some space.
At some point, Université Paris XIII, which is located in a northern suburb away from Paris, was called "Sorbonne Paris Nord".
Some French academics joke that since the Sorbonne is the only French university known by foreigners (even though it no longer exists), we should rename all universities accordingly (Université Sorbonne Alpes, Université Sorbonne Côte d'Azur).

2025-11-03 07:39:47 UTC

- reply

And then all the French academics: "which Sorbonne?"

2025-08-23 15:58:07 UTC

Why does UChicago close its humanities PhD programs?

2025-08-19 17:09:40 UTC

Gaza Cola, Palestine Drinks
https://social.sciences.re/system/media_attachments/files/115/056/528/459/469/678/original/d80db07bdbd5f129.png

2025-02-24 21:52:23 UTC

- reply

He died in a comfortable exile.

2025-02-24 21:15:19 UTC

Somebody pointed out to me that the constitution of the Second French Republic from 1848 was inspired by the US constitution.
It allowed the populist Bonaparte to get elected, gain executive power and then illegally grab the rest of the power.

2025-02-21 10:00:50 UTC

- reply

how about Lafforgue

2025-02-18 19:44:49 UTC

Un bien curieuse vision de la fiabilité scientifique et du travail universitaire
Pourquoi Wikipédia était-elle présentée en 2005 comme un danger pour la jeunesse et l’enseignement, tandis que, 20 ans plus tard, on présente les « intelligences artificielles » génératives comme le futur de l’enseignement ? Mon avis : car la première est portée par des structures à but non lucratif, et les secondes par des intérêts commerciaux et politiques.
https://blogs.mediapart.fr/david-monniaux/blog/180225/un-bien-curieuse-vision-de-la-fiabilite-scientifique-et-du-travail-universitaire

2025-02-09 17:02:26 UTC

- reply

Do you do this manually or is it some kind of setting you can tweak?
(By the way she's very cute.)

2025-02-01 19:22:58 UTC

Dear @npub19mh…v9e6 @npub18nl…fc2n, what is your position on holding conferences in the US, especially with respect to minorities, women and LGBT, especially T?
I know that scientific conferences are sometimes held in countries that do not treat women & LGBT correctly, but somehow these countries' policies are often predictible, whereas the US is now characterized by instability.
We can't hold conferences in a place where attendees may get arrested for something as mundane as going to the bathroom.

2025-01-30 19:50:22 UTC

JFLA is just like POPL but more cheerful and in French

2025-01-05 19:46:29 UTC

- reply

do you have sound?

2024-12-31 16:00:20 UTC

- reply

Sure. But what I pointed to is it's not the Bill of Rights per se that has faults (well, it has faults surely), it's more like the way some people consider it in 2024. I blame current people, for short.

2024-12-31 15:53:32 UTC

- reply

Can I bring some nuance to this? The cult that surrounds the US Constitution and the Bill of Rights is quite negative, and hinders reform in many respects. The best known of such issues is firearms.
This amount of devotion (true or feigned) would already be suspicious for a contemporary text, but is ridiculous for a document written in another era, by people who were not really democrats in the current sense (they owned slaves, held that blacks and women were inferior, they fought duels over questions of politics, and so on).

2024-12-26 16:30:25 UTC

- reply

Pourquoi avez vous alors encore des boutons "partager sur X" en dessous des articles que vous publiez ?

2024-12-19 12:06:43 UTC

Is there a colleague from Edinburgh here?

2024-11-30 19:04:08 UTC

- reply

and Germany is not even de-growing

2024-11-30 19:02:48 UTC

- reply

Not oil, natural gas. That's Germany.

2024-11-30 19:01:41 UTC

- reply

where does degrowth happen in Europe?

2024-11-30 18:56:16 UTC

- reply

European-mindset degrowth?

2024-11-23 18:37:46 UTC

Recently graduated ? Or a postdoc ? How about a PERMANENT FULL TIME RESEARCH POSITION?
Apply to CNRS or INRIA.
(You can ask me questions.)

2024-11-15 22:38:11 UTC

Looking for postdocs on e.g. Rust semantics, formally verified compilation. Contact me by email.

2024-11-07 21:50:39 UTC

- reply

I cannot answer for
@npub14a5…9fse but here's a definite issue:
Martin or myself have little to be scared of if visiting the US (except insurance issues should we have a medical problem, but let us not digress).
However, others (trans persons…) have more to fear. By organizing scientific events in the US, we may exclude these people from the event.
Thus there is a valid case for avoiding attending events there, so as to encourage organizers to schedule them elsewhere.

2024-11-06 19:49:40 UTC

PhD student or postdoc in the US? Concerned about an impending misogynist, fascistic regime?
Come to France! We have positions open, and if we get a fascistic regime it will at least be led by a woman.

2024-11-06 09:59:20 UTC

Dear colleagues,
Let me remind you that CNRS and INRIA will open positions next spring.
It is not necessary to speak French.
However it is very important to get acquainted with the system before the official application period opens.
Contact me if interested.

2024-10-31 20:28:29 UTC

- reply

I have a naive question: was it even seriously discussed to move elections to a Sunday, a day where most people don't work?

2024-10-11 13:14:29 UTC

- reply

I've read somewhere that Art Nouveau is architecture and art as if they were conceived by Elves, while Art Déco is as if they were conceived by Dwarves.

2024-09-30 18:35:37 UTC

- reply

Today I rode my bicycle in front of a 22 kW car charger. That's 100 amps @ 220V, this is far beyond any normal household wattage.
In a country such as France, and I suspect the same applies to the US, energy consumption from hydrocarbons tops that from electricity.

2024-09-28 21:28:14 UTC

- reply

Wikipedia says that there is currently no theoretical reason known explaining why such a law should hold… Is this correct?

2024-09-15 07:39:28 UTC

- reply

But what would have been the commercial and government/regulatory incentives to make this happen?
Telcos want to be able to charge you, and governments like knowing where you are and who you talk to.

2024-09-10 12:09:58 UTC

- reply

Would you happen to know why there was a hollow space in this otherwise almost solidly built up area?

2024-09-06 11:37:02 UTC

Je déteste ce présupposé que si l'on ne parle pas d'un sujet, c'est qu'on s'en fiche voire qu'on n'en a jamais entendu parler.
C'est peut-être qu'on estime n'avoir rien d'intéressant à dire et qu'on ne veut pas rajouter du bruit.

2024-08-24 18:05:33 UTC

Et donc, sur demande populaire, une démonstration du théorème de l'arrêt de Turing : "il n'y a pas de programme qui, au vu du code source d'un programme, détermine si ce dernier termine ou non [si on lui fournit une entrée vide]".

2024-08-22 20:47:10 UTC

- reply

Seems so. A-10 is not supersonic, is it?