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

Posts

Post #3802370
Les &quot;bilans carbone&quot; de laboratoires de recherche, encore une de ces &quot;bonnes idées&quot; sans moyens (les systèmes d&#39;information qui gèrent les commandes, les déplacements etc. n&#39;ont pas été prévus pour produire les équivalents CO₂).
Post #2313793
Mon avis: pas dans un pays avec une population si sujette au complotisme et si prompte à accuser les scientifiques quand ils ne concluent pas dans le sens attendu. Plus la sécurité des systèmes d&#39;information de l&#39;État. https://www.lemonde.fr/idees/article/2026/05/06/l-extension-du-vote-electronique-aux-scrutins-nationaux-doit-etre-envisagee_6686102_3232.html
Post #2195622
Sur le déclassement de la recherche scientifique française https://blogs.mediapart.fr/david-monniaux/blog/190426/sur-le-declassement-de-la-recherche-scientifique-francaise
Post #2110051
https://blogs.mediapart.fr/david-monniaux/blog/050526/la-fonderie-de-processeurs-de-jean-luc-melenchon
Post #2014782
RE: https://pouet.chapril.org/@hubertguillaud/116407007914384940 500k oh gosh
Post #1960393
RE: https://fosstodon.org/@yakkoj/116513149407392230 https://ugictcgt.fr/
Post #1817721
J&#39;ai appris à haïr le jeu d&#39;instructions ARM.
Post #1774602
Autopromo. (Je suis surpris que personne ne m&#39;ait encore accusé de complotisme ou de mensonge suite à ce billet.) https://blogs.mediapart.fr/david-monniaux/blog/150426/la-verite-serait-elle-conspirationniste
Post #1771332
Je viens de voir passer un truc sur le &quot;deep dating&quot; et cela m&#39;évoque cette vidéo https://www.youtube.com/watch?v=-BNwiqDGz5g
Post #1771328
Je suis au labo, venu en vélo, et il pleut comme vache qui pisse.
Post #1771327
J&#39;ai un truc qui compile avec Rocq 9.1 mais pas avec Rocq 8.16.1 en raison de problèmes de l&#39;OCaml extrait. Quelle est cette nouvelle diablerie ? Je reconsidère mes choix de vie. Rien ne fonctionne. Tout est chaos.
Post #1771326
&quot;Warning: spilling unspillable x82&quot; &lt;- drunk compiler
Post #1771324
Message semi humoristique) Je devrais changer de domaine de recherche. 1) Aspects théoriques: des conjectures énoncées il y a 10, 20, 50, 60 ans n&#39;avancent pas (https://dl.acm.org/doi/10.1145/3704632) 2) Aspects pratiques: il y a toujours un truc tarabiscoté et fastidieux (je hais le jeu d&#39;instructions ARM)
Post #1763035
Au sujet de la commission d&#39;enquête sur l&#39;audiovisuel public et sur ses supposés biais. Bien entendu, il y a un épisode de Yes minister dessus. https://www.youtube.com/watch?v=B9tzoGFszog
Post #1740492
WAPITIN le jury d&#39;HDR où j&#39;ai été mis
Post #1687153
L&#39;Europe a réussi, avec Airbus, à partir de rien et à passer largement devant Boeing. Qu&#39;allons-nous faire de cette industrie condamnée si on veut tenir les objectifs climatiques..
Post #1521947
What is planning poker?!
Post #1521946
ah la syntaxe math de Typst n&#39;est pas compatible avec celle de LaTeX? (nb en Markdown on peut utiliser les math LaTeX souvent)
Post #1521944
ça me fait toujours bizarre ces affiches de collectifs technocritiques très clairements réalisées avec des logiciels de publication assistée par ordinateur, imprimées en couleur par des systèmes sophistiqués
Post #1356002
La force et la soudaineté avec laquelle on pousse des lois pour intégrer la vérification d&#39;âge dans les appareils informatisés à la fois en Europe et aux USA devrait nous interpeller.
Post #1188603
J&#39;apprends que Michael Rabin vient de décéder.
Post #1168609
J&#39;ai donné un exposé à l&#39;EPFL sur la dépendance numérique aux GAFAM. Cet exposé a apparemment plu (j&#39;espère qu&#39;on ne m&#39;a pas flatté par complaisance). Je peux le donner ailleurs. slides: https://filesender.renater.fr/?s=download&amp;token=d5b8ba6b-62bf-4dc7-93a7-d95a5a4cb7fd
Post #1027736
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&#39;t think these kernel bugs have any relevance for this.
Post #887645
C&#39;est tout de même un peu lourd ces renommages perpétuels d&#39;universités. Est-ce que nos partenaires étrangers s&#39;y retrouveront avec &quot;Sorbonne Alpes&quot; ?