← Feed

Posts

• View post

  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₂).

• View post

  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. https://www.lemonde.fr/idees/article/2026/05/06/l-extension-du-vote-electronique-aux-scrutins-nationaux-doit-etre-envisagee_6686102_3232.html

• View post

  https://blogs.mediapart.fr/david-monniaux/blog/050526/la-fonderie-de-processeurs-de-jean-luc-melenchon

• View post

  RE: https://fosstodon.org/@yakkoj/116513149407392230 https://ugictcgt.fr/

• View post

  J'ai appris à haïr le jeu d'instructions ARM.

• View post

  Je viens de voir passer un truc sur le "deep dating" et cela m'évoque cette vidéo https://www.youtube.com/watch?v=-BNwiqDGz5g

• View post

  Je suis au labo, venu en vélo, et il pleut comme vache qui pisse.

• View post

  J'ai un truc qui compile avec Rocq 9.1 mais pas avec Rocq 8.16.1 en raison de problèmes de l'OCaml extrait. Quelle est cette nouvelle diablerie ? Je reconsidère mes choix de vie. Rien ne fonctionne. Tout est chaos.

• View post

  "Warning: spilling unspillable x82" <- drunk compiler

• View post

  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)

• View post

  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. https://www.youtube.com/watch?v=B9tzoGFszog

• View post

  WAPITIN le jury d'HDR où j'ai été mis

• View post

  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..

• View post

  What is planning poker?!

• View post

  ah la syntaxe math de Typst n'est pas compatible avec celle de LaTeX? (nb en Markdown on peut utiliser les math LaTeX souvent)

• View post

  ç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

• View post

  @flomaraninchi Oui. Tu sais bien que nous bricolons un compilateur qui cible des processeurs embarqués un peu poussifs et avec peu de RAM, et là je soupçonne fortement l'allocation de registre d'être responsable de certaines lenteurs/code trop gros.

• View post

  @flomaraninchi ça me fait penser à bitcher sur l'allocation de registres

• View post

  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.

• View post

  J'apprends que Michael Rabin vient de décéder.

• View post

  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

• View post

  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.

• View post

  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" ?