LaurentClaessens a écrit 217 commentaires

  • [^] # Re: Sur la géométrie différentielle

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 2.

    C'est ce qui te permet de permuter tes intégrales et tes sommes. […]

    Passer par la partition de l'unité "intersection" est, si j'ai bien compris ce que tu veux dire, ce qui est fait dans la proposition PROPooDYDPooOWNtfD (dans giulietta, chapitre Integration on manifolds). Mais la permutation effective des sommes dans la preuve est une invention personnelle. Je ne l'aie vue nulle part.

    Mais à la fin, je préfère la définition PROPooLCYGooLUxEYS
    (pure invention personnelle) qui me semble plus intrinsèque que les partitions de l'unité.

  • [^] # Re: Sur la géométrie différentielle

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 3.

    On résout cette difficulté en prenant des coordonnées dans l'algèbre de Lie. Tous les choix de coordonnées mènent au même atlas maximal (dans la terminologie de Lafontaine) donc à la même structure différentielle — donc on peut se contenter de définir les cartes en utilisant l'espace vectoriel qu'on veut.

    C'est ce qui est fait. La définition d'une variété accepte des cartes de n'importe quel espace vectoriel normé.
    Il est démontré que tout variété accepte un atlas composé de cartes provenant de \mathbb{R}^n.
    Par contre, avec cette approche, on ne peut plus parler de l'ensemble de toutes les cartes.

  • [^] # Re: Constante de Weiner

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 6.

    cette formulation serait à éviter dans un tel ouvrage […]

    Tu as entièrement raison, et je m'efforce d'éviter ce genre de formulations en général.
    Mais ce cas-ci est différent. En effet, la partie sur la «constante de Weiner» est (à moitié) humoristique : la constante de Weiner vaut 2.

    Autrement dit, cette partie regroupe différents théorèmes contenant le nombre 2. Certains étaient déjà connus des hommes de Cro-Magnon.

    Allez ! Défi narratif!
    Donner un résultat mathématique concernant le nombre 2 qui était certainement connu des hommes de Cro-Magnon, mais exprimer ce résultat sous forme moderne le plus abstraitement possible.

    Je dirais : «le nombre de Lunes dans une saison est égal à la constante de Weiner» … mais je crois que c'est faux :(

  • [^] # Re: Constante de Weiner

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 3.

    C'est quoi une CNS ?

  • [^] # Re: Constante de Weiner

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 2.

    NB: Pinaillerie : tu dis que la constante de Weiner est l'indice du groupe alterné dans le groupe symétrique à tout ordre, il faut exclure les ordres strictement inférieurs à cette même constante.

    Je vais ajouter "ordre NON TRIVIAL". Ça fait toujours bien.

  • [^] # Re: Questions de novice

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 3.

    Et par contre, pourquoi cette numérotation -2.1 ?

    Le vrai début de la mathématique est le chapitre 1.
    Donc l'introduction est le zéro (logique)
    Donc ce qui est avant est -1 (logique)…

    …

    heu …

    ben du coup je ne sais pas pourquoi j'ai mis -2.
    Je change en -1 pour la prochaine fois.

    Ou alors je ne mets pas de numéro de chapitre. Mais alors je dois modifier le \thesection pour qu'il n'affiche pas le chapitre.
    Ch'ai pas ce qui est le mieux …

  • [^] # Re: Extensions de corps

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 2.

    La nuit portant conseil, j'ai un exemple peut-être plus convainquant.

    Si h\in\mathbb{R}, que signifie «\mathbb{R}[h]» ? Il y a au moins deux sur-anneaux (corps ?) de \mathbb{R} qui méritent ce nom.

    • Le corps \mathbb{R} lui-même
    • L'anneau des séries formelles en h. J'ai pas vérifié, mais je suis prêt à parier qu'il y a moyen de l'étendre un peu pour en faire un corps.

  • [^] # Re: Extensions de corps

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 3.

    Je suis d'accord que, dans le contexte, on s'attend à ce que \sqrt{2}^2=2. Mais il n'empêche que j'ai bien le droit de mettre la structure que je veux sur l'ensemble

    Après tout, \mathbb{Q} est un ensemble de classes d'équivalences de paires d'entiers tandis que \sqrt{2} est une classe d'équivalence de suites de Cauchy dans \mathbb{Q}.

    Je suis déjà gentil d'écrire a+b\sqrt{2}. Je devrais écrire (a,b).

    Alors, certes, mettre la structure de corps qui fait \sqrt{2}^2=3 est un sale coup, parce que DANS CE CAS-CI, on est tacitement d'accord de prendre la structure héritée de \mathbb{C}.

    Mais qu'est-ce qui me garantit qu'il n'y a en général pas d'ambiguïtés ?

    Soit un corps \mathbb{K} et un sur-corps \mathbb{L}_1 contenant un élément a.
    Qui me garantit qu'il n'y a pas un autre sur-corps \mathbb{L}_2 contenant également l'élément a ?

    En tout cas, la notation \mathbb{K}[a] n'a de sens que si on est tacitement d'accord sur un sur-corps de \mathbb{K} contenant a. C'est tout mon point.

  • [^] # Re: bravo

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 3.

    Le p est dans le groupe : Z/pZ.
    C'est corrigé pour l'année prochaine.

    Ceci n'a rien à voir avec cela, mais pour citer des théorèmes, c'est plus simple de donner le label en vert à côté. Ici : PROPooKSCRooPyInSv. Au moins lui, il est garanti de ne pas changer, même si la proposition change de numéro et de pages.

  • [^] # Re: Questions de novice

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 5.

    Bonne question.
    Les parties sont mises dans l'ordre pour avoir les meilleurs résultats quand on fait ctrl-f.

    L'index thématique sert à placer pratiquement tous les mots-clefs ou combinaisons de mots dont j'ai besoin.
    Ensuite vient la table des matières parce que c'est là que viennent les résultats les plus pertinents au ctrl-f quand je ne les trouve pas dans l'index thématique.

  • [^] # Re: infecte notation ?

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 4.

    pourquoi des d ronds ? plutôt que le classique d/dx ?

    Très bonne question. Je n'utilise d/dx que quand il y a une seule variable (p.ex d/dt d'un chemin).

    Souvent les gens font une différence subtile.
    Prenons la fonction f(x,t)=x^2\sin(t) mais que dans le contexte, x est une fonction de t.

    Alors

    parce que c'est une dérivée partielle. On fait comme si x était une variable qui n'a rien à voir.

    Par contre

    parce que pour d/dt, on recherche toutes les dépendances en t, même à travers les fonctions.

    Typiquement le genre de notations que je déteste également.

    Il faut écrire f(x,t)=x^2\sin(t) puis éventuellement définir \phi(t)= x(t)^2\sin(t), et calculer \phi'(t).

  • [^] # Re: infecte notation ?

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 6.

    J'ai peut-être exagéré en disant "infect", mais j'en ai beaucoup souffert dans ma jeunesse.

    Pour être plus précis, si on prend f(x,y)=x^2\sin(y), ce qu'on noterait

    est quoi ? C'est la fonction (x,y)\mapsto 2x\sin(y) ? Ou bien est-ce cette fonction évaluée au point (x,y) ?

    On devrait écrire

    C'est pourquoi je préfère écrire en deux lignes. D'abord f(x,y)=x^2\sin(y) et ensuite

    La notation \frac{\partial}{\partial x} incite à ne pas faire la distinction entre ce qui va être la fonction dérivée et ce qui est la fonction dérivée évaluée en un certain point.

  • [^] # Re: .

    Posté par  (site web personnel) . En réponse au lien Ce futur système de réservation de la SNCF suscite la polémique . Évalué à 1.

    C'est plutôt une bonne nouvelle. Ne crachons pas dessus…

    MAIS

    Ça reste tout de même une stat qui ne parle pas directement du nombre de voitures effectivement sur la route.

    Faisons un calcul.
    D'après l'article, on a eu 86000 voyages «début octobre» (je suppose que ça veut dire sur 15 jours…)

    Vu que cela est une augmentation de 125% par rapport à la situation sans gratuité, si je note N le nombre de trajet en 15 jours il y a 5 ans, ce serait

    86000 = 225 N /100
    (une augmentation de 125% signifie qu'on a 225% de ce qu'on avait avant)

    N = 38000.

    Augmentation : 86000-38000=48000

    La moitié sont des trajets qui auraient été faits avec la voiture ?
    Bon.
    24000 trajets économisés en 15 jours. Bref, 3200 trajets par jour.

    Est-ce que c'est beaucoup pour une ville comme Dunkerque (200.000 habitants) ?
    Bonne question. J'en sais rien.

    Et si on en déduit divers effets de rebonds impossibles à réellement prévoir ?

    Bref. Tout ça pour dire que la vraie stat qui nous intéresse, ce sont les voitures effectivement sur la route. Le reste, ce sont des proxy qu'il est difficile d'interpréter.

  • [^] # Re: .

    Posté par  (site web personnel) . En réponse au lien Ce futur système de réservation de la SNCF suscite la polémique . Évalué à 2.

    Cela dit, on y arrive déjà dans quelques villes françaises et je pense que ça serait très vertueux sur tout le pays : d'un coup, les gens seraient encouragés à prendre les transports en commun plutôt que leur véhicule individuel.

    C'est sûr ça ?
    Je reviens de vacances à Dunkerque où ils ont les transports en commun sont gratuits depuis 4 ans. La compagnie de bus se vante beaucoup que la fréquentation des bus a été multipliée par 2 depuis lors.
    Mais ils ne donnent pas de chiffres sur la fréquentation des voitures individuelles.

    Il y a bien de la différence entre augmenter l'usage des bus et diminuer l'usage de la voiture individuelle. Or, climatiquement, le but n'est pas d'avoir plus de monde dans les bus, mais bien d'avoir moins de monde dans les voitures.

    Je me fais le même genre de réflexions à chaque fois que je passe par Brugges ou Amsterdam. On voit tout de suite qu'il y a plus de vélos… mais c'est pas clair au premier coup d'œuil qu'il y ait moins de voitures.

    Bref :

    • Une stat qui lie gratuité des transports en commun avec l'augmentation de l'utilisation des transports en commun ne m'intéresse pas,

    mais :

    • est-ce qu'on a une vraie statistique qui lie la gratuité des transports en commun avec la diminution de l'usage de la voiture ?

  • # Et pour les banques ?

    Posté par  (site web personnel) . En réponse au journal Le mél que je viens d'envoyer au Comité d'Organisation des JO. Évalué à 3.

    Dans le même ordre d'idée, j'ai justement eu un rendez-vous avec ma banque (caisse épargne). Ma conseillère est incapable de me fournir des identifiants qui me permettent de payer en ligne sans appli à installer.

    Quelqu'un connaît une banque plus accueillante ?

  • # rss (blog)

    Posté par  (site web personnel) . En réponse au message Blogs?. Évalué à 8.

    Pour diffuser ma pensée qui n'intéresse personne j'ai un blog avec un bon vieux rss.

    Avec mon propre moteur de rendu. Je tape en md, il crée du html statique et téléverse vers mon compte chez OVH. C'est complètement sur mesure pour mes besoins; n'essayez pas d'utiliser pour les vôtres.

    Pour m'informer, c'est RSS aussi. Mon agrégateur compte 64 flux qui ont fait au moins une mise à jour en 2024. Il y en a pour les les mes goûts. De l'astrophysique au manga en passant par la mathématique ou l'informatique.

    Notez au passage que les chaînes youtube ont leur RSS. Si vous ne voulez rater aucune vidéo de votre chaîne favorite, pas besoin de la cloche, de l'abonnement, du pouce ni même de se connecter à youtube.com. Le RSS fait l'affaire.

    Pour télécharger les vidéos youtube, j'ai un script perso adapté à mes besoins : il ne prend la qualité max que pour monsieur phi parce qu'il faut lire des pavés de texte en arrêt sur image :)

    Le script rss_yt.py retourne le RSS de la chaîne en prenant en entrée l'url d'une vidéo. Par exemple :

    ./rss_yt.py 'https://www.youtube.com/watch?v=CikPFdZdY4k'

    retourne : https://www.youtube.com/feeds/videos.xml?channel_id=UCUHW94eEFW7hkUMVaZz4eDg

  • [^] # Re: qu'en pense mon LLM

    Posté par  (site web personnel) . En réponse au lien La dévastation du monde. Évalué à 2.

    Est-ce que les gens qui on moissoyé plussoié peuvent expliquer pourquoi ?

    Une réponse que je trouverais mauvaise est : "c'est intéressant". En effet, n'ayant aucun moyen de savoir quelle est la part d'hallucination et de vérité dans la réponse, elle n'est pas intéressante.

  • [^] # Re: Lecture intéressante quelle que soit votre avis sur l'écriture inclusive

    Posté par  (site web personnel) . En réponse au lien Écriture inclusive : le point d’hyphénation rend-il vraiment meilleure la lecture par les lecteurs d. Évalué à 1.

    Qui parle de l'imposer ? Personne n'est obligé d'utiliser l'écriture inclusive.

    Si tu écris en utilisant une certaine forme, tu obliges ton lectorat à «utiliser» cette forme.

    De ce point de vue, oui, quelqu'un.e qui utiliserait une certaine ponctuation oblige s.on.a lecteur.trice à l'utiliser également.

  • [^] # Re: dev principal de Ladybird

    Posté par  (site web personnel) . En réponse à la dépêche Pour 100 briques t'as plus rien : le navigateur Ladybird reçoit un million de brouzoufs. Évalué à 2. Dernière modification le 07 juillet 2024 à 09:51.

    Je ne connais pas bien Pokémon, mais Dragon Ball (sans Z), c'est une belle aventure pleine d'humour que tout le monde peut lire.

    --- humour ---
    Si tu ne vois pas le problème avec DB, c'est que tu es un misogyne au sens de Ploum.
    --- fin ---

    Plus sérieusement.

    Dragon Ball (Z ou pas[1]), c'est que des héros.
    Dans Pokémon, il y a une belle brochette d'héroïnes qui ont un vrai rôle.

    Mon très humble avis est que, du point de vue des stéréotypes de genre, faire un peu plus de Pokémon et un peu moins de DB, c'est infiniment plus utile que tous les "he/they" ou tous les points médians du monde.

    [1] Je tien à mentionner que dragon ball multiverse corrige sérieusement le tir en donnant beaucoup plus de place à Bra, Pan et d'autres personnages introduits.

  • [^] # Re: dev principal de Ladybird

    Posté par  (site web personnel) . En réponse à la dépêche Pour 100 briques t'as plus rien : le navigateur Ladybird reçoit un million de brouzoufs. Évalué à 9.

    Ça ne te choquerait pas comme raisonnement? C'est exactement le même!

    Je comprends ton point, mais perso, je vois une différence.

    Corriger des bugs, c'est le cœur de métier du gars, pas se poser des question sur la meilleur façon de formuler telle ou telle phrase. Je peux comprendre qu'il ait préféré ne pas rentrer dedans.

    Imagine un patch qui modifie 500 lignes dans la doc, y compris dans les commentaires dans le code. Relire le tout demande un vrai travail pour au moins deux raisons :

    • s'assurer que certaines reformulations de phrase ne changent pas le sens
    • s'assurer que 500 modification mineures de "neutralisation" ne sont pas une diversion pour introduire une faille de sécurité.

    Tout ça pour dire que je peux comprendre qu'un gars refuse les patch non techniques.

    ATTENTION : comprendre != approuver à 100%

  • [^] # Re: dev principal de Ladybird

    Posté par  (site web personnel) . En réponse à la dépêche Pour 100 briques t'as plus rien : le navigateur Ladybird reçoit un million de brouzoufs. Évalué à 10.

    Le dev aurait pu:

    1. accepter le patch (fin de discussion)

    Fin de discussion ? Ça c'est une hypothèse très forte.

    Je peux comprendre le raisonnement suivant qu'aurait pu se faire le développeur.

    • ok. Il y a un patch qui me prendre vingt secondes à relire et à accepter.
    • si je l'accepte, je prends le risque d'en recevoir 10 par jour comme ça, parce que j'ai laissé des "he" un peu partout et je ne sais pas quoi d'autre.
    • donc je refuse en disant que les patch non techniques ne m'intéressent pas.

    Le dev aura fait tout ce raisonnement en moins de 5 secondes dans sa tête parce qu'il pensait à autre chose (de technique et important) et aura rédigé vite fait un motif qu'il ne faudrait pas surinterpréter comme de la misogynie.

    Faut pas juger les gens sur une décision peut-être malheureuse, juste parce qu'on est au courant de cette décision là[1]. Si ça se trouve ce gars va au parc jouer au foot avec ses filles tous les samedis ou offre à ses neveux plutôt des mangas de Pokemon que de Dragon Ball. (et j'aurais tendance à dire que ça, ça a 1000 fois l'importance de tous les "he" du monde dans les docs de tous les logiciels)

    [1] Par exemple ici vous devriez m'incendier parce que l'italique est se foutre de la gueule des dyslexiques.

  • [^] # Re: Pensées

    Posté par  (site web personnel) . En réponse au journal Linuxfr sous les drapeaux. Évalué à 7.

    j’ai jamais compris comment on pouvait baser un programme politique uniquement sur l’écologie

    Quand on fait un plan réellement pensé pour l'écologie, ça va nettement plus loin que l'écologie.

    Le plan du shift project ou le plan négawatt vont plus loin que dire qu'on va changer deux chaudières et planter trois éoliennes.

    Ces plan sont un programme complet concernant pratiquement tous les aspects de la société.

  • [^] # Re: Il existe un mot

    Posté par  (site web personnel) . En réponse au journal Linuxfr sous les drapeaux. Évalué à 4. Dernière modification le 19 juin 2024 à 07:14.

    Je ne dis pas que je suis irrité, ni même que qu'en être irrité est bien ou mal.

    Ma question est juste d'ordre lexicale.

    être irrité par un message anti-X-phobe => être X-phobe (?)

    Il me semble qu'on peut parfaitement être un emmerdeur pédant toujours de mauvaise humeur sans être homophobe.

  • [^] # Re: Il existe un mot

    Posté par  (site web personnel) . En réponse au journal Linuxfr sous les drapeaux. Évalué à 10.

    Juste pour être sûr de comprendre ton message.

    Est-ce que tu es en train de dire que être irrité par un message anti-X-phobe est de la X-phobie ?

  • [^] # Re: Mise à jour "écologie au centre" ?

    Posté par  (site web personnel) . En réponse à la dépêche Élections européennes de juin 2024 et contenu programmatique. Évalué à 2.

    https://ecologieaucentre.com/programme/

    Pourquoi ces gens prennent-ils le temps et le risque d'écrire un programme ?
    Vu qu'ils ne maîtrisent (comme tout le monde) qu'un millième du problème, les propositions sont en majorité du n'importe quoi, saupoudré de bonnes idées.

    Autrement dit, ce programme est le brouillon de quelque chose de bien.

    C'est déjà mieux que la majorité des autres partis qui sont le propre de quelque chose de faux.

    Pourtant il suffirait de dire «notre programme, c'est le plan négawatt» ou «notre programme c'est le plan de transformation de l'économie française» et hop, le tour est joué, on a un programme pas trop déconnant et déjà bien pensé.