Les "bilans carbone" de laboratoires de recherche, encore une de ces "bonnes idées" sans moyens (les systèmes d'information qui gèrent les commandes, les déplacements etc. n'ont pas été prévus pour produire les équivalents CO₂).
Remote
David Monniaux
@MonniauxD@social.sciences.re
mastodon 4.6.8Chercheur 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
2010 Followers
1259 Following
50 Posts
Joined November 12, 2022
Replying to
@splitbrain@fedi.splitbrain.org It's interesting - I sometimes post question and append something like "please do not answer unless you know specifically about X and Y", and still some people answer with "helpful guesses".
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'information de l'État.
Replying to
@flomaraninchi@pouet.chapril.org Tout à fait.
L'entreprise moderne, par de nombreux côtés, ressemble à ce dont on se gaussait dans l'Union soviétique.
Replying to
@marinetondelier@piaille.fr Votre réponse est parfaite.
Je suis frappé qu'alors qu'on entre dans une crise pétrolière (sans parler des guerres), on semble considérer que l'important ce sont les fleuristes et boulangeries le 1er mai et une rave party.
"Warning: spilling unspillable x82" <- drunk compiler
Replying to
@flomaraninchi Peut-être par le même mécanisme que des secrétariats envoient un mail "veuillez trouver une communication de Grand Chef" qui contient une lettre présentée formellement dans un PDF (parfois scanné). Ou encore les mails "vous avez une communication dans [espace à la con qui demande un mot de passe séparé qu'on n'a pas sur le téléphone]".
Je suis au labo, venu en vélo, et il pleut comme vache qui pisse.
Replying to
@CCochard@social.sciences.re @flomaraninchi@pouet.chapril.org @antoinechambertloir@mathstodon.xyz il faut exhiber une mesure qui décroît dans un ordre bien fondé !
J'ai appris à haïr le jeu d'instructions ARM.
Replying to
@Enthalpiste@social.sciences.re Je ne pense pas que les LLM soient utilisables sans quelque chose derrière (assistant de preuve, suite de tests, etc.) qui vérifie que leur production fonctionne.
Replying to
@ricci @mayintoronto A professor of applied mathematics told me yesterday that now the students prepare the tutorials before coming to class (this was not the case before, apparently), but they prepare it using Claude or others. And the recent models are quite capable at undergrad mathematics.
L'Europe a réussi, avec Airbus, à partir de rien et à passer largement devant Boeing.
Qu'allons-nous faire de cette industrie condamnée si on veut tenir les objectifs climatiques..
Replying to
@antoinechambertloir@mathstodon.xyz Antoine, as-tu accès à titre personnel à AOC ? Je n'ai pas l'impression que cela fasse partie des abonnements de l'UGA.. Pourrais-tu éventuellement m'envoyer une copie de cet article ?
Sinon,
https://blogs.mediapart.fr/david-monniaux/blog/100526/lia-generative-depasse-les-etudiantes-et-apres
Replying to
@iLangle@piaille.fr Dernièrement, une personne m'a accusé de faire rédiger par IA, sans doute parce que c'était un texte en langue soutenue.
Replying to
@fresseng@universites.social @juliengossa@social.sciences.re @cyclotopie@mastodon.gougere.fr @univlorraine.bsky.social Nous ne parlons pas ici d'évaluations d'étudiant(e)s lors d'examens, mais de recrutements d'enseignants-chercheurs ou d'évaluation de laboratoires.
Les dirigeants (ou autres, par exemple des féministes) veulent souvent imposer des "grilles" censées être plus objectives, moins laisser place aux préjugés ou préférences personnelles.
Et donc on se retrouve à argumenter sur du Q1/Q2 vs pas classé à Scimago, parce qu'il serait mal vu de dire (en version mieux tournée) "les articles sont pipeau".
Replying to
@pyviv@social.sciences.re mon dieu mais qui a 2 postes PR sur le même profil c'est Byzance
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'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'instructions ARM)
Replying to
@jaztrophysicist @cyclotopie tiens ça me rappelle il y a 20 ans quand on m'accusait de subvertir la jeunesse avec Wikipédia
Je viens de voir passer un truc sur le "deep dating" et cela m'évoque cette vidéo
Replying to
@Walrus @freakonometrics I guess it's like asking for a way for society to suppress crime without any incumbrance for law-abiding citizens.
Replying to
@magcbertrand Il y a aussi l'avenue Jean Jaurès qu'on appelle communément la Route de Beaune !
Replying to
@antoinechambertloir@mathstodon.xyz Je veux en venir que nous avons un problème d'évaluation; Quand les IA génératives rendaient du "tout plat" à côté du sujet, il était facile de sanctionner leur usage sans même avoir à le démontrer. Maintenant, elles (du moins les versions premium) rendent des devoirs supérieurs aux étudiants. Cela rend impossible de noter des devoirs maison, non, si toutefois la note conditionne un diplôme ?
Replying to
@stonebear2@hachyderm.io @adapalmer@wandering.shop I do not understand what you are talking about. I was talking about some roads whose surface contained solar panels, on which road vehicles would drive.
See
https://fr.wikipedia.org/wiki/Route_solaire
Replying to
@adapalmer@wandering.shop This has been tried on roads, but railways make much more sense (on roads, one needs panels able to withstand vehicles).
Replying to
JésusMarieJoseph le comportement de l'extraction a changé sur les types singletons.
Replying to
@iLangle@piaille.fr Le constat, par une collègue historienne, qu'une IA (certes pas le modèle grand public gratuit) a produit un meilleur commentaire de document que ce que produisent les étudiants, est assez saisissant..
Replying to
@yforster the extraction apparently optimizes stuff differently, thus handwritten OCaml code does not link to the extracted code
WAPITIN le jury d'HDR où j'ai été mis
Replying to
@fresseng@universites.social @juliengossa@social.sciences.re @cyclotopie@mastodon.gougere.fr @univlorraine.bsky.social Il y a les mêmes contradictions au niveau des évaluations de laboratoire et de recrutement : on signe DORA, mais on impose d'"objectifier" les évaluations (pour éviter la subjectivité des évaluateurs, leurs éventuels préjugés), donc à donner des trucs style "publications Q1 / Q2".
Replying to
@miermont@mastodon.social @benjamin@piaille.fr @adapalmer@wandering.shop Isn't this largely a thing of the past?
Au sujet de la commission d'enquête sur l'audiovisuel public et sur ses supposés biais.
Bien entendu, il y a un épisode de Yes minister dessus.
Replying to
@Enthalpiste@social.sciences.re Il y a des grands succès chez des gens qui utilisent des assistants de preuve.
Replying to
@CCochard@social.sciences.re Je n'en ai pas entendu parler. Électronique de puissance sur diamant, oui.
Replying to
@Enthalpiste@social.sciences.re Je pense qu'on peut aussi avoir des succès si on a une grosse suite de tests.
Et en effet, je ne pense pas que cela soit représentatif.
Replying to
@benjamin@piaille.fr @nicolasvivant@colter.social et.. quelle est la cause technique interne de ce truc? un buffer overflow? une race condition?