David Monniaux

Chercheur en informatique

Public Key

npub1ap0ndvx3lncrv9aq4xyedn7lunegc3x3y3r4gw7xqmf8x0tp5t9qtntkls

NIP-05 Address

MonniauxD_at_social.sciences.re@mostr.pub

Profile Code

nprofile1qqswshekkrgleupkz7s2nzvkel07fu5vgngjg36580rqd5nn84s69jspz4mhxue69uhhyetvv9ujumt0wd68ytnsw43q9xkkv0

Publishing to

relay.mostr.pub

Author Public Key

npub1ap0ndvx3lncrv9aq4xyedn7lunegc3x3y3r4gw7xqmf8x0tp5t9qtntkls

Show more details

Last Notes

2024-09-10 18:47:42

- reply

@npub1c9m…9xjd Students tend to read the last message they see, we tell them to go back to the first error and not pay attention to the rest…

2024-09-06 18:31:54

- reply

@npub1ah4…778h C'est vrai.
Mais mon point est que le blocage au niveau du processeur de cartes bancaires est un des grands moyens pour fermer les sites indésirables.

2024-09-06 18:25:25

- reply

@npub1ah4…778h Les journalistes de Médiapart n'utilisent pas de VPN ?

2024-09-06 18:10:58

Un site de presse, sur abonnement, ouvre un accès TOR hidden service. Je leur demande à quoi cela sert, des quidams me disent "à pouvoir lire depuis des pays autoritaires qui bloquent l'accès". Je demande comment depuis ces pays payer par carte bancaire ledit site…

2024-09-06 11:37:02

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-09-06 10:28:09

- reply

@npub178r…qekt Another question: how do you know whether it stayed unnoticed by foreign powers for decades?

2024-09-03 15:36:25

- reply

@npub18vp…76p9 ça meurt après hu0-3-0-3-ren-nr-lyon2-rtr-091.noc.renater.fr

2024-09-03 15:30:53

- reply

@npub18vp…76p9 je suis sur Renater

2024-09-03 15:28:50

evaluation.dsi.cnrs.fr est down?

2024-08-13 21:14:33

- reply

@npub1rv4…ft5j My medical insurer closed its site after hours during the Olympics specifically.

2024-08-11 07:45:36

Pour quelles raisons les designers de matériel de douche ont-ils pensé que c'est une bonne idée que de concevoir des commandes sous forme de cylindres sans relief qu'on manipule avec des mains savonneuses ?
(Sans doute les mêmes qui ont conduit à construire des immeubles de bureau façade en verre orientées au sud.)

2024-08-01 07:55:11

- reply

@npub1lks…a4mq It seems very weird to substitute rye for Cognac in a cocktail named with an evidently southwestern French name, but…

2024-08-01 07:51:36

- reply

@npub1lks…a4mq Thank you, I did not know about the Sazerac cocktail.

2024-07-26 16:34:22

- reply

@npub1lks…a4mq I've read somewhere something that I was not able to confirm - that CrowdStrike under Linux does not run as a kernel module but as eBPF. Is this true?

2024-07-24 13:34:52

- reply

@npub1psd…9sr7 I really don't get it - they shipped a work laptop to a person they hired on full remote with no in-person interview and nobody inside the company who knew that person?

2024-07-21 17:21:43

- reply

@npub1lks…a4mq Running the tests with sanitizers or Valgrind, instead of just checking for crashes, should help. But of course you are totally correct.

2024-07-11 17:30:27

Je répète mon opinion sur l'IA. Il y a des gens qui achètent des pelles en espérant trouver de l'or. Il y a des gens qui subventionnent la recherche sur les pelles et la formation de gens qui creusent à la pelle. Et il y a les gens qui vendent les pelles.

2024-07-09 18:42:33

Si je vous dis "théorie du contrôle" ça évoque quelque chose pour vous ? Quoi ?

2024-07-07 20:42:19

- reply

@npub1psd…9sr7 I'm sorry - I'm uninformed about the British electoral process, how can you run a fake candidate?!

2024-07-01 18:19:38

Je peux porter une procuration à Grenoble.

2024-06-26 10:04:58

- reply

@npub1cmn…nzz0 Il paraît que cela fait plusieurs années qu'il est en place !

2024-06-26 09:44:13

Un astucieux dispositif technologique protège un vidéoprojecteur des infiltrations de pluie dans cette grande école d'ingénieurs.
https://social.sciences.re/system/media_attachments/files/112/682/270/510/950/653/original/ecb706e312678abf.jpeg

2024-06-22 17:26:07

Je trouve gonflé d'accuser les autres d'irresponsabilité budgétaire quand on claquait l'argent de l'État en cabinets de conseil qui rendaient de vagues PowerPoint.

2024-06-20 20:24:43

- reply

@npub10ur…ndl9 Je pense que l'idée est de dévisser l'ampoule et la revisser avec une pièce dans le culot qui fera court circuit une fois la lumière allumée.

2024-06-20 17:50:24

Pendant la Seconde Guerre mondiale, les services secrets américains avaient publié un manuel de sabotage dont la section sur l'organisation… semble décrire le mode de fonctionnement normal de certains employeurs publics. :)
https://fr.wikisource.org/wiki/Manuel_de_sabotage_simple_sur_le_terrain
section 11

2024-06-19 21:17:10

Quand je disais que NVidia est le vendeur de pelles aux chercheurs d'or de l'IA
https://social.sciences.re/@virtualinanity@toot.community/112187099479068346

2024-06-18 10:06:32

J'ai déjà vu de la surébullition je pense 2 fois dans ma vie (dans des fours à micro-ondes, je pense sans plateau tournant dans les deux cas).
En avez-vous déjà vu ? et de la surfusion ?

2024-06-16 11:57:55

- reply

@npub1gqv…eshs (j'ai rien compris est-ce normal)

2024-06-03 11:16:56

Question spéciation : les populations de mammifères terrestres des Îles Britanniques (renards…) n'ont pas du avoir de contacts avec celles du continent depuis les glaciations, à part celles (souris, rats…) qui peuvent se planquer sur les bateaux, constate-t-on des sous-espèces ?

2024-03-23 09:48:00

- reply

@npub107a…8grg où se place mamba ?

2024-03-20 10:52:07

- reply

@npub1a6f…ep6g @npub1a8a…wyep Schuhl a dit cela ? Vous avez un pointeur ?

2024-03-17 16:38:31

- reply

@npub1psd…9sr7 Oh? In England you can do end of HS and university in compsci with no humanities *at all*?

2024-03-06 18:59:11

Je cherche quelqu'un qui connaît bien la problématique détachement vs disponibilité pour enseigner dans une université étrangère.

2024-03-05 12:28:46

- reply

@npub1yhj…3h3t a map is not the territory?

2024-02-05 13:02:07

Que me conseillez-vous comme expo à Paris en ce moment ?

2023-12-25 12:33:08

- reply

@npub1cmn…nzz0 @npub1ym2…e2ma Un poste de professeurs des universités.

2023-12-07 17:36:12

- reply

@npub14q6…tpkg @npub1a8a…wyep Some researchers are "modern too soon".
For instance, they had the WWW in 1995 when few people were on the Internet, and people used dialup. So they kept habits from those days.

2023-11-22 13:53:45

- reply

@npub1upk…tcwy Today I asked a very specific question about the C standard (not "common expectations about C"), and people started telling me their common expectations and where to find a (expensive) copy of the standard. :)

2023-11-03 13:02:29

- reply

@npub1tx3…kxnn Je n'ai jamais regardé A* bidirectionnel, seulement A* normal. A* normal repose quand même sur un minorant facile à calculer du temps à la destination, je suppose qu'ils prennent la distance vol d'oiseau divisée par la vitesse maximale ?

2023-11-03 12:49:00

- reply

@npub1tx3…kxnn savez vous comment ils construisent les poids du graphe (les estimations atomiques de temps de trajet)? Info trafic ? Catégorie de route ? Un truc plus fin impliquant pente et courbure ?

2023-11-03 12:47:37

- reply

@npub1tx3…kxnn j’ai entendu dire que le A* utilisé par les GPS commerciaux évite d’explorer le graphe en détail en ne considérant que les routes principales sur le milieu de trajet…

2023-10-28 12:53:08

- reply

@npub1psd…9sr7 @npub1el0…5ru0 I wonder about France, due to the following factors :
- construction of commercial zones outside of towns, designed for automobiles
- "rurbanisation", people going to live in villages around cities
- small towns.
It's not like US suburbia, but there are definitely lots of people whose life depends on the automobile.

2023-07-12 19:11:26

I've lost faith in what I'm doing.
Is anybody looking for a asm/C/C++/OCaml/Coq developer with experience in compilers, static analyzers, decision procedures and so on? (I'm willing to learn other fields)
Strong math skills, and also experience in managing a group (including admin/finance).
You may find some stuff I've worked on here
https://www.absint.com/astree/index.htm
https://gricad-gitlab.univ-grenoble-alpes.fr/certicompil/Chamois-CompCert

2023-07-12 17:48:57

Je me demande combien d'entreprises ont chacune fait leur propre générateur de code C à partir de diagrammes de blocs.