La force et la soudaineté avec laquelle on pousse des lois pour intégrer la vérification d'âge dans les appareils informatisés à la fois en Europe et aux USA devrait nous interpeller.
David Monniaux
@MonniauxD@social.sciences.re
mastodon
4.5.7
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
0
Followers
0
Following
Joined November 12, 2022
page professionnelle:
Posts
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
@MonniauxD@social.sciences.re
·
7h ago
5
0
7
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
@MonniauxD@social.sciences.re
·
4d ago
J'apprends que Michael Rabin vient de décéder.
3
0
3
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
@MonniauxD@social.sciences.re
·
4d ago
J'ai donné un exposé à l'EPFL sur la dépendance numérique aux GAFAM. Cet exposé a apparemment plu (j'espère qu'on ne m'a pas flatté par complaisance). Je peux le donner ailleurs.
slides: https://filesender.renater.fr/?s=download&token=d5b8ba6b-62bf-4dc7-93a7-d95a5a4cb7fd
25
0
33
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
@MonniauxD@social.sciences.re
·
Apr 09, 2026
@jonny Which chatbot was this if I may inquire?
View full thread on social.sciences.re
0
2
0
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
@MonniauxD@social.sciences.re
·
Apr 08, 2026
@davidaugust Well, there have actually been successes by connecting LLMs to proof assistant and computer algebra programs. As this post rightly puts, the LLM is not capable in itself to perform computations reliably, but it can write commands sent to the computer algebra programs, or proof candidates sent to the proof assistant; which can answer that the proof is incorrect, and the process goes on until a correct proof is produced.
See also uses by pro mathematicians:
https://bsky.app/profile/wildverzweigt.bsky.social/post/3miua4ulxhk2f
Also see Terence Tao
View full thread on social.sciences.re
3
0
0
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
@MonniauxD@social.sciences.re
·
Apr 04, 2026
@albertcardona @jonmsterling @elduvelle And ticketing is not coordinated either. Our "professional" travel agent does not know how to sell us tickets with train changes abroad.
View full thread on social.sciences.re
6
4
0
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
@MonniauxD@social.sciences.re
·
Apr 01, 2026
C'est tout de même un peu lourd ces renommages perpétuels d'universités. Est-ce que nos partenaires étrangers s'y retrouveront avec "Sorbonne Alpes" ?
8
0
6
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
@MonniauxD@social.sciences.re
·
Mar 31, 2026
Many misguided (intentionally or otherwise) things have been said about the discovery of kernel bugs in Rocq using a LLM.
For instance, some people have mentioned CompCert and use for Airbus. Well, I don't think these kernel bugs have any relevance for this.
3
0
1
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
@MonniauxD@social.sciences.re
·
Mar 27, 2026
@MadameMollette @flomaraninchi Dans mes souvenirs, ce fut le nom d'un arrêt de bus. Il semblerait qu'il soit dû à un crucifix.
https://fr.wikipedia.org/wiki/Le_Christ-de-Saclay?uselang=fr
https://www.openstreetmap.org/node/1722769915#map=19/48.730664/2.163867
View full thread on social.sciences.re
1
2
0
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
David Monniaux
@MonniauxD@social.sciences.re
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
social.sciences.re
@MonniauxD@social.sciences.re
·
Mar 21, 2026
@clairemathieu Est-ce que quelqu'un songe sérieusement à débureaucratiser la maison ?
Éviter que les conventions de stages, déplacements, utilisations d'outils informatiques (*) ne soient surcomplexifiés. Faire confiance aux gens dans les labos.
(*) J'apprends par exemple qu'il faudrait obtenir une autorisation en haut lieu pour utiliser une IA non Emmy. Euh.
View full thread on social.sciences.re
1
2
0