David Madore's WebLog
http://www.madore.org/~david/weblog/
David Madore's WebLoghourly32003-05-01T10:00:00ZQuatre ans après, quelles sont les leçons retrospectives de la pandémie de covid ?
http://www.madore.org/~david/weblog/d.2024-03-17.2789.covid-retrospective.html#d.2024-03-17.2789
2024-03-17T10:31:44Z Quatre ans après, quelles sont les leçons retrospectives de la pandémie de covid ? Cela fait quatre ans (un peu plus ou un peu moins selon l'endroit où on se trouve) que nous est tombée dessus une pandémie qui allait durer, et bouleverser nos vies, pendant environ deux ans. Deux ans de covid suivis par deux ans d'après-covid, peut-être que ce confinementversaire est un bon moment pour regarder en arrière. J'ai déjà raconté sur ce blog comment j'avais vécu ces journées si particulières de févLa dystopie des applications sur smartphone
http://www.madore.org/~david/weblog/d.2024-03-09.2788.smartphone-app-dystopia.html#d.2024-03-09.2788
2024-03-09T18:41:22Z La dystopie des applications sur smartphone La cause immédiate de l'écriture de ce billet est que la chaîne de salles de sports où je pratique la musculation (Neoness) a décidé de changer le contrôle à l'entrée de ses clubs et semble[#] maintenant exiger qu'on bippe au portique avec son smartphone sur lequel on aura installé une app qu'ils proposent, plutôt que de simplement présenter une carte de membre comme c'était le cas avant. L'app en question est notée 1.6 étoiles sur 5 en moyenne sur Sur le dangereux mythe du « génie »
http://www.madore.org/~david/weblog/d.2024-03-03.2787.genius.html#d.2024-03-03.2787
2024-03-03T10:38:17Z Sur le dangereux mythe du « génie » Quand l'an dernier j'ai écrit un billet sur l'intelligence artificielle je me suis dit que je devrais en faire un aussi sur l'intelligence naturelle — pour expliquer, en gros, que je trouve que, sans nier que des gens différents réfléchissent de façon différente, l'intelligence est un terme tellement vague et fourre-tout qu'il ne veut plus rien dire du tout, et qu'en gros à chaque fois que quelqu'un essaie de s'en servir c'est une tentative d'escroquerie. JGuide du tourisme en Île-de-France : partie 2 (le sud et sud-ouest)
http://www.madore.org/~david/weblog/d.2024-02-23.2786.tourisme-idf-p2.html#d.2024-02-23.2786
2024-02-23T09:01:25Z Guide du tourisme en Île-de-France : partie 2 (le sud et sud-ouest) Je continue ma tentative d'écrire une sorte de guide touristique de l'Île-de-France commencée dans la première partie qui concernait des généralités et la petite couronne, et auquel je renvoie pour l'introduction. Je vais suivre approximativement le sens des aiguilles d'une montre autour de Paris (mais en commençant par le sud) : initialement, mon idée était de regrouper par département, mais c'est un peu artificiel alors je Guide du tourisme en Île-de-France : partie 1 (généralités et petite couronne)
http://www.madore.org/~david/weblog/d.2024-02-16.2785.tourisme-idf-p1.html#d.2024-02-16.2785
2024-02-16T21:45:17Z Guide du tourisme en Île-de-France : partie 1 (généralités et petite couronne) Introduction Comme je l'ai déjà raconté dans un certain nombre de billets de ce blog (par exemple celui-ci et celui-là), le poussinet et moi aimons faire du tourisme en Île-de-France. (Par Île-de-France je n'entends pas forcément l'Île-de-France au sens administratif strict mais, disons, les endroits où on peut facilement se rendre sur la journée, en gros parce que je n'aime pas dormir ailleurs que chez moi. DoLa réalisabilité propositionnelle, et ce qu'elle nous apprend sur les algorithmes
http://www.madore.org/~david/weblog/d.2024-02-11.2784.propositional-realizability.html#d.2024-02-11.2784
2024-02-11T18:44:27Z La réalisabilité propositionnelle, et ce qu'elle nous apprend sur les algorithmes Je veux ici de nouveau parler d'informatique théorique, dans son intersection avec les maths (logique, calculabilité, typage), et plus précisément d'un sujet appelé la réalisabilité propositionnelle. Je reconnais qu'il a un petit côté « opération de pub » de ma part : il s'agit d'un sujet qu'on peut qualifier d'obscur, voire ésotérique (largement confiné à une poignée de publications soviétiques des années 1960–Pourquoi trois personnes dans les conjugaisons et pas plus ?
http://www.madore.org/~david/weblog/d.2024-02-04.2783.personnes-grammaire.html#d.2024-02-04.2783
2024-02-04T19:38:40Z Pourquoi trois personnes dans les conjugaisons et pas plus ? Je précise d'emblée que ce billet n'est pas à prendre très au sérieux. C'est juste une idée qui me revient en repensant à ce que j'ai écrit récemment sur les conjugaisons. En français et dans un certain nombre d'autres langues qui conjuguent les verbes, l'un des traits grammaticaux qui déterminent l'inflexion du verbe est la personne du sujet, et elle distingue trois possibilités, à savoir si la personne qui accomplit est : la pMélanges probabilistes et superpositions quantiques
http://www.madore.org/~david/weblog/d.2024-02-02.2782.proba-quantum.html#d.2024-02-02.2782
2024-02-02T23:52:46Z Mélanges probabilistes et superpositions quantiques Précisions d'emblée que le but de ce billet, qui évoque le rapport entre (pour prendre un exemple célèbre) un chat vivant avec probabilité ½ et mort avec probabilité ½ (« mélange probabiliste ») et un chat dans un état quantique qui combine vivant et mort (« superposition quantique ») n'est pas vraiment de faire de la vulgarisation, encore moins de la physique. Je m'en sers, comme je fais parfois, surtout pour gribouiller rapidement ce que jCombien y a-t-il de continents ? — et l'apprentissage du recul face aux conventions
http://www.madore.org/~david/weblog/d.2024-01-28.2781.continents-conventions.html#d.2024-01-28.2781
2024-01-28T20:54:31Z Combien y a-t-il de continents ? — et l'apprentissage du recul face aux conventions Si on demande à une personne ayant grandi en France combien il y a de continents, et de les lister, je pense que la réponse sera généralement cinq, avec comme liste l'Europe, l'Asie, l'Amérique, l'Afrique et l'Océanie (dans un certain ordre). Il me semble que ceci est la liste « traditionnelle » des continents vus par la France, ou par la culture française, et probablement enseignée dans le système éducatif frSur la notion d'« étendue » en optique et en géométrie
http://www.madore.org/~david/weblog/d.2024-01-25.2780.etendue.html#d.2024-01-25.2780
2024-01-25T14:52:12Z Sur la notion d'« étendue » en optique et en géométrie Je voudrais essayer de parler ici d'un concept de géométrie (euclidienne), notamment important pour son application en optique, que je trouve à la fois joli pourtant trop peu connu[#] : celui d'« étendue ». En gros, l'étendue est une façon de mesurer la taille d'un ensemble de droites (disons, dans l'espace) de la même manière que le volume est une façon de mesurer la taille d'un ensemble de points. Mais pour commencer, et pour expliquer Méditation la complexité des conjugaisons françaises et inflexions linguistiques en général
http://www.madore.org/~david/weblog/d.2024-01-15.2779.inflections.html#d.2024-01-15.2779
2024-01-15T22:18:05Z Méditation la complexité des conjugaisons françaises et inflexions linguistiques en général Avertissement préliminaire : je vais faire référence dans ce billet à plein de langues (français, latin, grec, mais aussi allemand, russe, sanskrit, arabe). Ces langues ne servent qu'à illustrer mon propos général sur la complexité des inflexions, et il va de soi que je ne suppose pas qu'on les connaît (moi-même, je n'y connais pas grand-chose), et je ne vais généralement même pas m'embêter à donner leRéflexions à 2 femtozorkmids sur l'informatique en tant que science
http://www.madore.org/~david/weblog/d.2024-01-07.2778.computer-science.html#d.2024-01-07.2778
2024-01-07T17:40:49Z Réflexions à 2 femtozorkmids sur l'informatique en tant que science Les quelques derniers billets de ce blog qui avaient un contenu scientifique (notamment celui-ci et celui-ci) tournaient autour de l'informatique théorique. (Et je compte en écrire encore plusieurs.) Je ne sais pas si le lecteur non spécialiste aura vu la différence avec des maths. Je ne sais pas si je vois une différence avec des maths. Après tout, j'ai rangé ces billets dans la catégorique « maths » (pas que le mécanisme J'essaie d'ajouter la possibilité de régler la taille du texte sur ce site
http://www.madore.org/~david/weblog/d.2024-01-01.2777.font-size-choice.html#d.2024-01-01.2777
2024-01-01T17:29:49Z J'essaie d'ajouter la possibilité de régler la taille du texte sur ce site Un des principes complètement stupides et insupportables du Web (j'en parlais notamment dans ce billet il y a quelques mois) est que c'est l'auteur d'une page (ou site) Web qui choisit tous les détails de l'apparence de celle-ci. L'habitude qu'on a de ce principe peut faire oublier son absurdité, mais je ne sais vraiment pas quel sens ça peut avoir que ce soit moi, auteur de ce blog, qui décide la couleur de fond de la Une autre énigme de calculabilité
http://www.madore.org/~david/weblog/d.2023-12-31.2776.hinting-riddle.html#d.2023-12-31.2776
2023-12-31T17:46:41Z Une autre énigme de calculabilité Méta : J'ai proposé une petite énigme la semaine dernière, qui m'était venue en réfléchissant à des questions autour de la logique et de la calculabilité (j'ai ajouté successivement un indice et la réponse, donc si vous aviez lu l'énigme et l'aviez trouvée intéressante mais sans aller jusqu'à la réponse, vous pouvez y jeter un nouveau coup d'œil). Avec toutes mes excuses aux >99.9% de mes lecteurs qui ne sont pas amusés par ce genre de choses, je vais finir lIl faut qu'on parle des pubs en ligne et du financement du Web
http://www.madore.org/~david/weblog/d.2023-12-26.2775.online-ads.html#d.2023-12-26.2775
2023-12-26T22:01:49Z Il faut qu'on parle des pubs en ligne et du financement du Web Ce qui motive ce billet (qui traîne depuis un moment dans mes cartons) est que j'entends de plus en plus de gens dire que YouTube s'est mis à bloquer leur bloqueur de pub. Le mien (Adblock Plus, à ne pas confondre avec AdBlock, ils n'ont pas plus de rapport qu'un lointain ancêtre commun, oui, c'est très confusant) continue à marcher, ou peut-être que YouTube a décidé de ne pas me servir de pub ou peut-être que je ne fais pas (encoUne énigme avec un dragon et de la calculabilité
http://www.madore.org/~david/weblog/d.2023-12-24.2774.dragon-riddle.html#d.2023-12-24.2774
2023-12-24T11:20:13Z Une énigme avec un dragon et de la calculabilité Allez, en cadeau de Noël, un deuxième billet à deux jours d'intervalle, ce qui est devenu très rare sur ce blog : je vous propose une devinette dont je posterai la solution ultérieurement. Je la trouve très jolie et surprenante et je pense qu'elle aurait beaucoup plu à Raymond Smullyan. Méta : Elle m'est venue en réfléchissant à des questions de maths (autour de la réalisabilité propositionnelle). La formulation est de moi, mais c'est en faitUne introduction à la correspondance de Curry-Howard
http://www.madore.org/~david/weblog/d.2023-12-22.2773.curry-howard.html#d.2023-12-22.2773
2023-12-23T00:02:16Z Une introduction à la correspondance de Curry-Howard Méta : Le présent billet, quoique indépendant, est une sorte de suite de celui-ci où j'exposais quelques points d'informatique théorique que j'ai appris, ou mieux/enfin compris, en enseignant un cours que je crée cette année à Télécom. En fait, j'étais parti pour écrire quelque chose sur un sujet plus spéculatif, mais je me suis dit que pour commencer il fallait que j'explique proprement la correspondance de Curry-Howard, et comme c'est jusLes Indes fourbes d'Ayroles et Guarnido
http://www.madore.org/~david/weblog/d.2023-12-10.2772.les-indes-fourbes.html#d.2023-12-10.2772
2023-12-10T10:40:51Z Les Indes fourbes d'Ayroles et Guarnido On dit souvent jamais deux sans trois, mais il me semble que c'est une pure coïncidence que, moi qui ne lis pas beaucoup de bédés (et, à vrai dire, pas beaucoup tout court), me retrouve à évoquer trois albums coup sur coup dans ce blog : après celle-ci dans le style « jeu de personnages » et celle-ci de sociologie, disons un mot des Indes fourbes (pas si récent que ça, et dont j'ai entendu parler au hasard d'une mention sur Twitter). Mais, à vrai dire, Où j'apprends aussi l'informatique en l'enseignant
http://www.madore.org/~david/weblog/d.2023-12-01.2771.cours-lfi-2.html#d.2023-12-01.2771
2023-12-02T00:39:05Z Où j'apprends aussi l'informatique en l'enseignant Ce que j'aime surtout dans le fait d'enseigner, c'est qu'on apprend souvent soi-même plein de choses sur le sujet qu'on enseigne, surtout la première fois, et surtout si on crée soi-même le programme du cours : on croyait bien savoir les choses de loin, mais être obligé de les regarder de près pour les enseigner oblige souvent à se rendre compte qu'il y avait une subtilité là où on ne le savait pas (ou qu'on avait oubliée) ; ça peut éventuelleLa Distinction de Tiphaine Rivière
http://www.madore.org/~david/weblog/d.2023-11-27.2770.la-distinction-de-tiphaine-riviere.html#d.2023-11-27.2770
2023-11-27T18:18:57Z La Distinction de Tiphaine Rivière Digression préliminaire : Je suis pas mal sous l'eau en ce moment : le problème principal étant que je rédige le cours d'informatique que je donne en ce moment à Télécom moins vite que le cours n'avance : pour l'instant j'ai encore un peu d'avance, mais je ne suis pas convaincu par l'argument de Monsieur Zénon qui m'assure qu'Achille ne peut pas rattraper la Tortue ; surtout qu'en plus de ça, la Tortue se laisse distraire en chemin, c'est-à-dire que j'ai eu lÉtude critique de vulgarisation mathématique : une petite vidéo d'Arte
http://www.madore.org/~david/weblog/d.2023-11-12.2769.vulgarisation-entscheidungsproblem.html#d.2023-11-12.2769
2023-11-12T19:20:28Z Étude critique de vulgarisation mathématique : une petite vidéo d'Arte La chaîne de télé Arte produit une série de petites vidéos de vulgarisation scientifique (à destination du grand public) sur les mathématiques appelée Voyages au pays des maths (on les trouve ici sur le site web d'Arte ou ici sur YouTube) : je n'en ai regardé qu'une partie (via leur site Web : je ne suis pas tombé dessus à l'antenne, mais c'est juste parce que je n'allume jamais la télé), mais celles que j'ai vues me sembleLe curieux cas du mot intension
http://www.madore.org/~david/weblog/d.2023-11-02.2768.intension.html#d.2023-11-02.2768
2023-11-02T23:43:25Z Le curieux cas du mot intension Au sujet des notes de cours signalées dans le billet précédent, on me fait remarquer en commentaire, d'ailleurs pas très agréablement, que j'ai écrit intention (dans le contexte d'un contraste avec extension) là où je voulais sans doute écrire intension. Alors, est-ce une erreur, ou quelle écriture est-elle préférable ? À vrai dire je m'y perds assez. Bon, déjà en général je déteste ces mots en -/sjɔ̃/ dont on je sait jamais si on doit les écrire -tion ou -siTransparents de cours de calculabilité
http://www.madore.org/~david/weblog/d.2023-11-01.2767.cours-lfi.html#d.2023-11-01.2767
2023-11-01T11:34:37Z Transparents de cours de calculabilité Comme je le disais il y a un mois, je me suis engagé à organiser à Télécom Paris(PlusÀParis) un cours de Logique et Fondements de l'Informatique où je dois parler de calculabilité, logique et typage. Je suis évidemment complètement à la bourre sur la préparation de ce cours, qui commence vendredi en huit, mais bon, j'ai au moins provisoirement fini d'écrire des transparents pour la partie « calculabilité » qui devrait occuper, je pense, bien 6h de cours Échecs de Víctor L. Pinel
http://www.madore.org/~david/weblog/d.2023-10-27.2766.echecs-de-victor-pinel.html#d.2023-10-27.2766
2023-10-27T22:07:41Z Échecs de Víctor L. Pinel Digression préliminaire : Je ne suis pas un gros consommateur de fictions (quel que soit le format : romans, films…) pour une raison sur laquelle il faudra que je revienne plus longuement dans un billet ultérieur, à savoir mon agacement devant la manie des histoires qui ne finissent jamais, soit parce qu'elles font partie de cycles interminables (pensez aux séries télé, enfin, maintenant il s'agit plutôt de séries Internet), ou bien, même quand ce n'est pas le cas à lUne nouvelle toux qui n'en finit pas
http://www.madore.org/~david/weblog/d.2023-10-21.2765.toux-sans-fin.html#d.2023-10-21.2765
2023-10-21T17:11:43Z Une nouvelle toux qui n'en finit pas J'ai raconté il y a deux semaines que j'avais eu la covid (pour la 3e ou peut-être même 4e fois) : ça s'est manifesté sous forme d'un gros rhume, bien pénible mais pas particulièrement affolant, qui a duré environ une semaine sous cette forme (en gros du 2023-10-03 au 2023-10-10). Sauf que si les symptômes de rhume ont disparu (fatigue générale, mal à la gorge, nez bouché, ganglions enflés, mal à la tête, sinusite ; et un nouvel autotest covid a été négati