pascalhleroy.bsky.social
pascalhleroy.bsky.social
@pascalhleroy.bsky.social
"Le pneu Michelin boit l'obstacle!"

The Michelin tire absorbs the obstacle, but the verb is really "drink" here.
November 30, 2025 at 5:52 PM
Exemple d'un objet volé : collections.louvre.fr/en/ark:/5335.... Je n’ai pas cherché les autres, mais les objets en question étant des pièces importantes la réponse est probablement « ben oui ».
Collier de la parure de saphirs de la reine Marie-Amélie et de la Reine Hortense
Le collier est composé de huit saphirs de différentes tailles et de six cent trente-et-un diamants. Tous les chaînons du collier sont articulés révélant la grande perfection technique de cet ensemble....
collections.louvre.fr
October 20, 2025 at 12:11 PM
Le second point me semble plutôt un avantage. Je préfère passer par une procédure judiciaire, avoir accès au dossier, pouvoir utiliser les services d’un avocat qu’être dénoncé par lettre anonyme par Twitter.
August 19, 2025 at 8:32 AM
Il me semble que cette législation aurait deux effets (1) affaiblir ou interdire la communication cryptée end-to-end (2) encadrer une pratique qui de toutes façons existe.
August 19, 2025 at 8:32 AM
Il y a des tas de gens dont le travail consiste exclusivement à examiner les images considérées comme suspectes par les automations. Il y a des équipes d’avocats chargées de décider quelles suites légales à donner. Cette discussion arrive avec dix ans de retard.
August 19, 2025 at 8:32 AM
Les grands acteurs comme Meta, Google et al., analysent vos communications et vos photos depuis au moins une décennie (que ce soit avec de l’IA ou d’autres techniques n’a pas d’importance). Ils le font parce que le risque légal est énorme pour eux.
August 19, 2025 at 8:32 AM
The car at 0:12 has a license plate that reads "IA 49138". Coincidence? I think not.
August 5, 2025 at 3:14 PM
I confess that I didn’t enjoy The Manuscript Found in Saragossa very much because this nesting of narratives gets tedious (what was this story that I read yesterday and that is now resuming?) and it quickly becomes a procédé. But if you like that, there’s a ton in the One Thousand and One Nights.
April 4, 2025 at 9:15 PM
Mon expérience c’est que « correctly rounded » (moins de 0.5 ULPs) c’est vraiment dur, mais une implémentation qui ne fait pas « faithfully rounded » (un des deux nombres machines de part et d’autre du résultat exact), c’est qu’elle n’essaie pas vraiment.
February 11, 2025 at 5:36 PM
Muller donne l'exemple de 6381956970095103×2⁷⁹⁷ (qu'il obtient avec des fractions continues) dont le cosinus est -4.68716592425462761×10⁻¹⁹ selon Mathematica. GNU est à près de 8 ULPs, MSVC et LLVM macOS en dessous de 0.5 ULPs (correctly rounded).
February 11, 2025 at 5:33 PM
En fait c'est un problème compliqué, voir par exemple les travaux de Muller et al. hal.science/hal-04474530. Pour les lignes trigos, une des difficultés vient de ce qu’il y a des flottants très très proches d’un multiple de π. Quand à libm sur Linux, ils ont couramment des erreurs de plusieurs ULPs.
Correctly-rounded evaluation of a function: why, how, and at what cost?
The goal of this paper is to give a survey on the various computational and mathematical issues and progress related to the problem of providing efficient correctly-rounded elementary functions in fl...
hal.science
February 10, 2025 at 10:52 PM