<?xml version="1.0" encoding="UTF-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
  <updated>2026-05-06T16:52:20Z</updated>
  <generator>https://yabu.me</generator>

  <title>Nostr notes by David Monniaux</title>
  <author>
    <name>David Monniaux</name>
  </author>
  <link rel="self" type="application/atom+xml" href="https://yabu.me/npub1yhtg65n85ggj6dgqvmttcxxzgkkh4a0t7vdr5q9fm4tfyxu7r7fqehvq2m.rss" />
  <link href="https://yabu.me/npub1yhtg65n85ggj6dgqvmttcxxzgkkh4a0t7vdr5q9fm4tfyxu7r7fqehvq2m" />
  <id>https://yabu.me/npub1yhtg65n85ggj6dgqvmttcxxzgkkh4a0t7vdr5q9fm4tfyxu7r7fqehvq2m</id>
  <icon>https://social.sciences.re/system/accounts/avatars/109/329/975/111/854/595/original/5ec9bd8cb6ad01e0.jpg</icon>
  <logo>https://social.sciences.re/system/accounts/avatars/109/329/975/111/854/595/original/5ec9bd8cb6ad01e0.jpg</logo>




  <entry>
    <id>https://yabu.me/nevent1qqspfg04ta283qtv4s9u3kxnwtzwq9q2kmwu45gpm8sgtd5wg4a8czgzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey9tywjc</id>
    
      <title type="html">Hier, un collègue de Microsoft m&amp;#39;a dit qu&amp;#39;ils ont (en ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqspfg04ta283qtv4s9u3kxnwtzwq9q2kmwu45gpm8sgtd5wg4a8czgzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey9tywjc" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsdapmwass0zqn7kjjlg3e25sy56s9394s9xrpl8pyv7mrkxukqd3cl4l9d3&#39;&gt;nevent1q…l9d3&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Hier, un collègue de Microsoft m&amp;#39;a dit qu&amp;#39;ils ont (en gros) un objectif minimal de dépenses de tokens, pour justifier qu&amp;#39;ils ne perdent pas de temps à coder à la main.&lt;br/&gt;&lt;br/&gt;Il m&amp;#39;a rapporté le comportement suivant: une personne déboguait à la main un truc compliqué, et donnait les bouts de programme à modifier au LLM à mettre dans les fichiers au lieu d&amp;#39;éditer directement afin que ça soit compté dans son bilan IA.
    </content>
    <updated>2026-04-15T07:08:33Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsfs2ufermx8zdt4w8k4z7utz9p4qyld9kx0mcfk8k3nkuna43lzuczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey2pypvv</id>
    
      <title type="html">Les gens qui pensent à mettre de l&amp;#39;IA pour fluidifier les ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsfs2ufermx8zdt4w8k4z7utz9p4qyld9kx0mcfk8k3nkuna43lzuczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey2pypvv" />
    <content type="html">
      Les gens qui pensent à mettre de l&amp;#39;IA pour fluidifier les processus administratifs, avez-vous songé que le vrai problème est qu&amp;#39;une bonne partie de ces processus sont non nécessaires, mal organisés, mal documentés, ou &amp;#34;overengineered&amp;#34; ?
    </content>
    <updated>2026-03-19T07:31:53Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqs9gcx9ng64cs69ql79ya3jv35pyfxxzah4n7rsmc4cftp5j68r00czyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyxr4asu</id>
    
      <title type="html">RE: https://social.sciences.re/@MonniauxD/116206555726992611 ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs9gcx9ng64cs69ql79ya3jv35pyfxxzah4n7rsmc4cftp5j68r00czyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyxr4asu" />
    <content type="html">
      RE: &lt;a href=&#34;https://social.sciences.re/@MonniauxD/116206555726992611&#34;&gt;https://social.sciences.re/@MonniauxD/116206555726992611&lt;/a&gt;&lt;br/&gt;&lt;br/&gt;Mistral Pro a été laborieux, mais Claude y est arrivé sans que je tienne la main !&lt;blockquote class=&#34;border-l-05rem border-l-strongpink border-solid&#34;&gt;&lt;div class=&#34;-ml-4 bg-gradient-to-r from-gray-100 dark:from-zinc-800 to-transparent mr-0 mt-0 mb-4 pl-4 pr-2 py-2&#34;&gt;quoting &lt;br/&gt;&lt;span itemprop=&#34;mentions&#34; itemscope itemtype=&#34;https://schema.org/Article&#34;&gt;&lt;a itemprop=&#34;url&#34; href=&#34;/note1042ffdtvkyyfamzzesa4ftv2ungvjmhppu0zcc5p84vnh2ns9tesvytt36&#34; class=&#34;bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1&#34;&gt;note1042…tt36&lt;/a&gt;&lt;/span&gt;&lt;br/&gt; &lt;/div&gt; Je crois que mon benchmark programmation pour les IA est &#34;écrivez moi un script qui extrait de HAL le nombre de publications de Verimag entre 2019 et 2024 et parmi celles-ci celles avec un coauteur ou une coautrice à l&#39;étranger&#34;.&lt;br/&gt;&lt;br/&gt;Ça l&#39;air bête mais purée ça envoie dans les choux Mistral AI pro.&lt;br/&gt;&lt;br/&gt;L&#39;autre benchmark est &#34;Qui est David Monniaux?&#34; (on me dit enseignant-chercheur à Saclay, Marseille, Lyon…). &lt;/blockquote&gt;
    </content>
    <updated>2026-03-10T20:24:18Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqs864y5k4ktzzy7a3pvcw654k9wf5xfdmss783vv2qn6kfm4fcz4uczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyfgy0k4</id>
    
      <title type="html">Je crois que mon benchmark programmation pour les IA est ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs864y5k4ktzzy7a3pvcw654k9wf5xfdmss783vv2qn6kfm4fcz4uczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyfgy0k4" />
    <content type="html">
      Je crois que mon benchmark programmation pour les IA est &amp;#34;écrivez moi un script qui extrait de HAL le nombre de publications de Verimag entre 2019 et 2024 et parmi celles-ci celles avec un coauteur ou une coautrice à l&amp;#39;étranger&amp;#34;.&lt;br/&gt;&lt;br/&gt;Ça l&amp;#39;air bête mais purée ça envoie dans les choux Mistral AI pro.&lt;br/&gt;&lt;br/&gt;L&amp;#39;autre benchmark est &amp;#34;Qui est David Monniaux?&amp;#34; (on me dit enseignant-chercheur à Saclay, Marseille, Lyon…).
    </content>
    <updated>2026-03-10T19:35:21Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsvp55ct5h3c20v3ss5ngffp7sutzg4gnxs53dpz0kgjhhtt90mqnqzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyljwl0r</id>
    
      <title type="html">Mastodon me gonfle à me montrer des fragments de conversation ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsvp55ct5h3c20v3ss5ngffp7sutzg4gnxs53dpz0kgjhhtt90mqnqzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyljwl0r" />
    <content type="html">
      Mastodon me gonfle à me montrer des fragments de conversation qui répondent à des messages que je ne peux pas voir.
    </content>
    <updated>2026-03-08T12:24:00Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsrwjn8m3m44s5gqesphtzfqgge3hsr4av8rvz2zyxj6hfssppneugzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey2g6c3l</id>
    
      <title type="html">I wonder if LLMs will be the reason why proof assistants really ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsrwjn8m3m44s5gqesphtzfqgge3hsr4av8rvz2zyxj6hfssppneugzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey2g6c3l" />
    <content type="html">
      I wonder if LLMs will be the reason why proof assistants really take off.
    </content>
    <updated>2026-03-03T22:39:22Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqspyvklzacs2h952xcdprwvsdsc4drcedqp3w5myu07wwq9j2z6z8qzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyuqf26y</id>
    
      <title type="html">Sorry about the joke understandable only for French academics. ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqspyvklzacs2h952xcdprwvsdsc4drcedqp3w5myu07wwq9j2z6z8qzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyuqf26y" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqs2w8cahmgp3pxthz9fpjz6sc4c6fsz747tu8wmc6m9g53lahllzqc56y8av&#39;&gt;nevent1q…y8av&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Sorry about the joke understandable only for French academics. The Sorbonne as a single university ceased to exist circa 1970 and was subdivided into several universities, some of which kept &amp;#34;Sorbonne&amp;#34; in the name for the aura. Futhermore, in the 201x and later years, there have been mergers.&lt;br/&gt;&lt;br/&gt;So today &amp;#34;Sorbonne&amp;#34; can mean&lt;br/&gt;&lt;br/&gt;Sorbonne University&lt;br/&gt;Paris 1 Panthéon-Sorbonne University,&lt;br/&gt;Sorbonne Nouvelle University&lt;br/&gt;&lt;br/&gt;It&amp;#39;s also the name of a big building in which all these universities have some space.&lt;br/&gt;&lt;br/&gt;At some point, Université Paris XIII, which is located in a northern suburb away from Paris, was called &amp;#34;Sorbonne Paris Nord&amp;#34;.&lt;br/&gt;&lt;br/&gt;Some French academics joke that since the Sorbonne is the only French university known by foreigners (even though it no longer exists), we should rename all universities accordingly (Université Sorbonne Alpes, Université Sorbonne Côte d&amp;#39;Azur).
    </content>
    <updated>2025-11-03T08:22:54Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsp4zqu3su7fppkcc9az6yaq5wh84k7gzpr0lfjk6n7ux6pk9adjrqzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyfwen2p</id>
    
      <title type="html">And then all the French academics: &amp;#34;which Sorbonne?&amp;#34;</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsp4zqu3su7fppkcc9az6yaq5wh84k7gzpr0lfjk6n7ux6pk9adjrqzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyfwen2p" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsd8x72d66k0087lfx7egf3m0kepd540wk8he78drm6za5n5f4f9hq8qxrj5&#39;&gt;nevent1q…xrj5&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;And then all the French academics: &amp;#34;which Sorbonne?&amp;#34;
    </content>
    <updated>2025-11-03T07:39:47Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsrlq3fdefh5s46522wl737g23vkm93ftp33g6py8wqpuwjeysur3czyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyx96dka</id>
    
      <title>Nostr event nevent1qqsrlq3fdefh5s46522wl737g23vkm93ftp33g6py8wqpuwjeysur3czyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyx96dka</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsrlq3fdefh5s46522wl737g23vkm93ftp33g6py8wqpuwjeysur3czyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyx96dka" />
    <content type="html">
      Why does UChicago close its humanities PhD programs?
    </content>
    <updated>2025-08-23T15:58:07Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqs9z8ysesxd0rqlykh76r9mg8mv3hjy3lupelp9w94f5utwvy05qmgzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyzyg45n</id>
    
      <title type="html">Gaza Cola, Palestine Drinks ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs9z8ysesxd0rqlykh76r9mg8mv3hjy3lupelp9w94f5utwvy05qmgzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyzyg45n" />
    <content type="html">
      Gaza Cola, Palestine Drinks&lt;br/&gt; &lt;img src=&#34;https://social.sciences.re/system/media_attachments/files/115/056/528/459/469/678/original/d80db07bdbd5f129.png&#34;&gt; &lt;br/&gt;
    </content>
    <updated>2025-08-19T17:09:40Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsg2avcfe9z0dhxm5ualzcu8zvphgt54lfzdfx7pqmg6vnyrjr2vtqzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eykcx245</id>
    
      <title type="html">He died in a comfortable exile.</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsg2avcfe9z0dhxm5ualzcu8zvphgt54lfzdfx7pqmg6vnyrjr2vtqzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eykcx245" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsd9yp3fz7f0u7exk2jt52pppz8n0rev9z9e9w2dk79kn2j2f3ttrgzslqk2&#39;&gt;nevent1q…lqk2&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;He died in a comfortable exile.
    </content>
    <updated>2025-02-24T21:52:23Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsx80ryrpsug95ufq9npuqrqe5em38u8qxs3ymqlvfe8huxcntsr7qzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eypt7vxr</id>
    
      <title type="html">Somebody pointed out to me that the constitution of the Second ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsx80ryrpsug95ufq9npuqrqe5em38u8qxs3ymqlvfe8huxcntsr7qzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eypt7vxr" />
    <content type="html">
      Somebody pointed out to me that the constitution of the Second French Republic from 1848 was inspired by the US constitution.&lt;br/&gt;&lt;br/&gt;It allowed the populist Bonaparte to get elected, gain executive power and then illegally grab the rest of the power.
    </content>
    <updated>2025-02-24T21:15:19Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsxa75snt0e3l0rzmr405ur3r5kjuwn9003cjwev30u7lhqjkaunxszyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey70exl0</id>
    
      <title type="html">how about Lafforgue</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsxa75snt0e3l0rzmr405ur3r5kjuwn9003cjwev30u7lhqjkaunxszyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey70exl0" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsv0eeecgm0fm8xszp35y8lz3uxnf259e4ays64lldhskayef6thzq5qyvk3&#39;&gt;nevent1q…yvk3&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;how about Lafforgue
    </content>
    <updated>2025-02-21T10:00:50Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqs2mmt5t3y6293skn4hf4ar2y8em06w9auspz068wqf9fcgn8nua3gzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eytj783g</id>
    
      <title type="html">Un bien curieuse vision de la fiabilité scientifique et du ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs2mmt5t3y6293skn4hf4ar2y8em06w9auspz068wqf9fcgn8nua3gzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eytj783g" />
    <content type="html">
      Un bien curieuse vision de la fiabilité scientifique et du travail universitaire&lt;br/&gt;&lt;br/&gt;Pourquoi Wikipédia était-elle présentée en 2005 comme un danger pour la jeunesse et l’enseignement, tandis que, 20 ans plus tard, on présente les « intelligences artificielles » génératives comme le futur de l’enseignement ? Mon avis : car la première est portée par des structures à but non lucratif, et les secondes par des intérêts commerciaux et politiques.&lt;br/&gt;&lt;br/&gt;&lt;a href=&#34;https://blogs.mediapart.fr/david-monniaux/blog/180225/un-bien-curieuse-vision-de-la-fiabilite-scientifique-et-du-travail-universitaire&#34;&gt;https://blogs.mediapart.fr/david-monniaux/blog/180225/un-bien-curieuse-vision-de-la-fiabilite-scientifique-et-du-travail-universitaire&lt;/a&gt;
    </content>
    <updated>2025-02-18T19:44:49Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsxgeu7f77acccfwzky42vrp5ln6mjgx57xwvthv9eerpg7yhdpkagzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eymwezj7</id>
    
      <title type="html">Do you do this manually or is it some kind of setting you can ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsxgeu7f77acccfwzky42vrp5ln6mjgx57xwvthv9eerpg7yhdpkagzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eymwezj7" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqs8r6nypwuumxx5mt94f2mnr95d566ef5p8n57lcft329tm5uhj3yqla670l&#39;&gt;nevent1q…670l&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Do you do this manually or is it some kind of setting you can tweak?&lt;br/&gt;&lt;br/&gt;(By the way she&amp;#39;s very cute.)
    </content>
    <updated>2025-02-09T17:02:26Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsx3gfa9lu8kwkpfk03646rl3v6h3uan6njh2akjj5lrczeu3cay7czyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey3qgp8c</id>
    
      <title type="html">Dear @npub19mh…v9e6 @npub18nl…fc2n, what is your position on ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsx3gfa9lu8kwkpfk03646rl3v6h3uan6njh2akjj5lrczeu3cay7czyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey3qgp8c" />
    <content type="html">
      Dear &lt;span itemprop=&#34;mentions&#34; itemscope itemtype=&#34;https://schema.org/Person&#34;&gt;&lt;a itemprop=&#34;url&#34; href=&#34;/npub19mhsflpk04tjhd20hcreqgzmdem7tpz9kzjls67xrajz56uu5qtstxv9e6&#34; class=&#34;bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1&#34;&gt;&lt;span&gt;Assn for Computing Machinery&lt;/span&gt; (&lt;span class=&#34;italic&#34;&gt;npub19mh…v9e6&lt;/span&gt;)&lt;/a&gt;&lt;/span&gt; &lt;span itemprop=&#34;mentions&#34; itemscope itemtype=&#34;https://schema.org/Person&#34;&gt;&lt;a itemprop=&#34;url&#34; href=&#34;/npub18nl2hmffvj9mr3e05mx32zfqtqqq5um9v4ujcuhx75qlkcswjzfqdcfc2n&#34; class=&#34;bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1&#34;&gt;&lt;span&gt;SIGPLAN&lt;/span&gt; (&lt;span class=&#34;italic&#34;&gt;npub18nl…fc2n&lt;/span&gt;)&lt;/a&gt;&lt;/span&gt;, what is your position on holding conferences in the US, especially with respect to minorities, women and LGBT, especially T?&lt;br/&gt;&lt;br/&gt;I know that scientific conferences are sometimes held in countries that do not treat women &amp;amp; LGBT correctly, but somehow these countries&amp;#39; policies are often predictible, whereas the US is now characterized by instability.&lt;br/&gt;&lt;br/&gt;We can&amp;#39;t hold conferences in a place where attendees may get arrested for something as mundane as going to the bathroom.
    </content>
    <updated>2025-02-01T19:22:58Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqs8kcu5962ffn5n46sgdyqx0wvs255uxz0q97ttkre8dple2y9dphczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey8hetta</id>
    
      <title>Nostr event nevent1qqs8kcu5962ffn5n46sgdyqx0wvs255uxz0q97ttkre8dple2y9dphczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey8hetta</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs8kcu5962ffn5n46sgdyqx0wvs255uxz0q97ttkre8dple2y9dphczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey8hetta" />
    <content type="html">
      JFLA is just like POPL but more cheerful and in French
    </content>
    <updated>2025-01-30T19:50:22Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqs0t59cnagljazrwpkqqpd42945akx6jgtvl0hgfymtpqpvjghafjczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey38s7qn</id>
    
      <title type="html">do you have sound?</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs0t59cnagljazrwpkqqpd42945akx6jgtvl0hgfymtpqpvjghafjczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey38s7qn" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsqfc0nnqj860gtd68442case87ur4zmm7drjz3gacug3khg2lyplgy4087q&#39;&gt;nevent1q…087q&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;do you have sound?
    </content>
    <updated>2025-01-05T19:46:29Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsdslmmm82006t209h3cpq7c705z9xyq43nltdr6jyy82uwx7c339qzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyy70f34</id>
    
      <title type="html">Sure. But what I pointed to is it&amp;#39;s not the Bill of Rights ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsdslmmm82006t209h3cpq7c705z9xyq43nltdr6jyy82uwx7c339qzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyy70f34" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqstk8a9fncrgd686lmld9dzv5szx7m703sy7xvxlwkkm263s5dy70qrz4atw&#39;&gt;nevent1q…4atw&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Sure. But what I pointed to is it&amp;#39;s not  the Bill of Rights per se that has faults (well, it has faults surely), it&amp;#39;s more like the way some people consider it in 2024. I blame current people, for short.
    </content>
    <updated>2024-12-31T16:00:20Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsf26wlpkg5cz4wcec8rft5gztcjknc0n66esuv45x54td4zj474vczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyn3amqj</id>
    
      <title type="html">Can I bring some nuance to this? The cult that surrounds the US ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsf26wlpkg5cz4wcec8rft5gztcjknc0n66esuv45x54td4zj474vczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyn3amqj" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqs29u0u0rtgpzxd7mmd7wcje6ukz2x4jatqf2n2ljq6fqu03928cgsp804vx&#39;&gt;nevent1q…04vx&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Can I bring some nuance to this? The cult that surrounds the US Constitution and the Bill of Rights is quite negative, and hinders reform in many respects. The best known of such issues is firearms.&lt;br/&gt;&lt;br/&gt;This amount of devotion (true or feigned) would already be suspicious for a contemporary text, but is ridiculous for a document written in another era, by people who were not really democrats in the current sense (they owned slaves, held that blacks and women were inferior, they fought duels over questions of politics, and so on).
    </content>
    <updated>2024-12-31T15:53:32Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsde88l6da56fezqephml30resp0rvzahcfvkq4xtdnxzrykp36yxgzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey8mvq3f</id>
    
      <title type="html">Pourquoi avez vous alors encore des boutons &amp;#34;partager sur ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsde88l6da56fezqephml30resp0rvzahcfvkq4xtdnxzrykp36yxgzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey8mvq3f" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqszzly7xjvr5rgjdn00yaxssaacyvrwgh980hvkgn7pxsrarnlc3fq0qstnx&#39;&gt;nevent1q…stnx&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Pourquoi avez vous alors encore des boutons &amp;#34;partager sur X&amp;#34; en dessous des articles que vous publiez ?
    </content>
    <updated>2024-12-26T16:30:25Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsxnvlcqhv58r9uccwnkamp3duw7ev5wtkv32x5juujngezzywz67czyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyyd6cu6</id>
    
      <title>Nostr event nevent1qqsxnvlcqhv58r9uccwnkamp3duw7ev5wtkv32x5juujngezzywz67czyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyyd6cu6</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsxnvlcqhv58r9uccwnkamp3duw7ev5wtkv32x5juujngezzywz67czyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyyd6cu6" />
    <content type="html">
      Is there a colleague from Edinburgh here?
    </content>
    <updated>2024-12-19T12:06:43Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqspauswhg0p9dw9fmk53gchalpqfg9x5qj8ll8t7thhdchjnzt0gmczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eykktd7y</id>
    
      <title type="html">and Germany is not even de-growing</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqspauswhg0p9dw9fmk53gchalpqfg9x5qj8ll8t7thhdchjnzt0gmczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eykktd7y" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsw6h442krmggq4h7lt8zhyn0kvctyjt4x3xrpq4mhpcuqvkwpmsfgh4vtcr&#39;&gt;nevent1q…vtcr&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;and Germany is not even de-growing
    </content>
    <updated>2024-11-30T19:04:08Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsze3lqpejnl623lzw4g9nn7r4jkm7j2m086pzyg24gzjd9xn4fweczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyterpkh</id>
    
      <title type="html">Not oil, natural gas. That&amp;#39;s Germany.</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsze3lqpejnl623lzw4g9nn7r4jkm7j2m086pzyg24gzjd9xn4fweczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyterpkh" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsy3nez2wxg2axwksmxnqjztuf7myeslx4mxusmy2ln4ynv60ctf3qu8lma3&#39;&gt;nevent1q…lma3&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Not oil, natural gas. That&amp;#39;s Germany.
    </content>
    <updated>2024-11-30T19:02:48Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsxt6u5gr5f8qnmnhupn2wgxv9e6ftzss8n3kk749nv45s8pv2xhqszyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyu4aqy7</id>
    
      <title type="html">where does degrowth happen in Europe?</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsxt6u5gr5f8qnmnhupn2wgxv9e6ftzss8n3kk749nv45s8pv2xhqszyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyu4aqy7" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsdzw6w6u7fejffsepdp4fxk8ln9hl8md4hmemx9hr833l05z79krsshjtmg&#39;&gt;nevent1q…jtmg&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;where does degrowth happen in Europe?
    </content>
    <updated>2024-11-30T19:01:41Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsp0ftf3qknn6tnecaj4fw93myfgcm096ffex6wk5v57gwh3dv2vugzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eykt02at</id>
    
      <title type="html">European-mindset degrowth?</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsp0ftf3qknn6tnecaj4fw93myfgcm096ffex6wk5v57gwh3dv2vugzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eykt02at" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqs2z3duytn2uufrj5spl0x9ltayt2yc5hlnc05m08rjlq67r584m2quu349t&#39;&gt;nevent1q…349t&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;European-mindset degrowth?
    </content>
    <updated>2024-11-30T18:56:16Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsru5cnjrkckvm4nqp7uwamlr7kmd7ce833r5ngxy5n9aeslj0887qzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyecmz2g</id>
    
      <title type="html">Recently graduated ? Or a postdoc ? How about a PERMANENT FULL ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsru5cnjrkckvm4nqp7uwamlr7kmd7ce833r5ngxy5n9aeslj0887qzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyecmz2g" />
    <content type="html">
      Recently graduated ? Or a postdoc ? How about a PERMANENT FULL TIME RESEARCH POSITION?&lt;br/&gt;&lt;br/&gt;Apply to CNRS or INRIA.&lt;br/&gt;&lt;br/&gt;(You can ask me questions.)
    </content>
    <updated>2024-11-23T18:37:46Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsga90h7dtpwtv6rgws28hctugdaam3yt9j7h9ppz8mgkvckgzuucgzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyyps552</id>
    
      <title type="html">Looking for postdocs on e.g. Rust semantics, formally verified ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsga90h7dtpwtv6rgws28hctugdaam3yt9j7h9ppz8mgkvckgzuucgzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyyps552" />
    <content type="html">
      Looking for postdocs on e.g. Rust semantics, formally verified compilation. Contact me by email.
    </content>
    <updated>2024-11-15T22:38:11Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqs9clhd8q465kvju7ctj7afdzkvhrx6rl4s7mjl5jlsdlaa2ewzhmgzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eytmk5sl</id>
    
      <title type="html">I cannot answer for @npub14a5…9fse but here&amp;#39;s a definite ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs9clhd8q465kvju7ctj7afdzkvhrx6rl4s7mjl5jlsdlaa2ewzhmgzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eytmk5sl" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsd5pqfrn95xcqatqdde28ffkjxyseahll9qqxq4cfk8jgh5sjwlusqpm2nm&#39;&gt;nevent1q…m2nm&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;I cannot answer for&lt;br/&gt;&lt;span itemprop=&#34;mentions&#34; itemscope itemtype=&#34;https://schema.org/Person&#34;&gt;&lt;a itemprop=&#34;url&#34; href=&#34;/npub14a5755aglz3euvetuy8z7x25akaz42lgvrgkr8qj2a55ghpwaelqjf9fse&#34; class=&#34;bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1&#34;&gt;&lt;span&gt;Martin Escardo&lt;/span&gt; (&lt;span class=&#34;italic&#34;&gt;npub14a5…9fse&lt;/span&gt;)&lt;/a&gt;&lt;/span&gt; but here&amp;#39;s a definite issue:&lt;br/&gt;&lt;br/&gt;Martin or myself have little to be scared of if visiting the US (except insurance issues should we have a medical problem, but let us not digress).&lt;br/&gt;&lt;br/&gt;However, others (trans persons…) have more to fear. By organizing scientific events in the US, we may exclude these people from the event.&lt;br/&gt;&lt;br/&gt;Thus there is a valid case for avoiding attending events there, so as to encourage organizers to schedule them elsewhere.
    </content>
    <updated>2024-11-07T21:50:39Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqstcckv6eu6z8cer3xncsum8m4x5m0f68j92tv6gm3mcrgc0sr3qlszyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eygd7a7p</id>
    
      <title type="html">PhD student or postdoc in the US? Concerned about an impending ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqstcckv6eu6z8cer3xncsum8m4x5m0f68j92tv6gm3mcrgc0sr3qlszyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eygd7a7p" />
    <content type="html">
      PhD student or postdoc in the US? Concerned about an impending misogynist, fascistic regime?&lt;br/&gt;&lt;br/&gt;Come to France! We have positions open, and if we get a fascistic regime it will at least be led by a woman.
    </content>
    <updated>2024-11-06T19:49:40Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsx0rpra5uevnlanp50e2y3faywmpugzv5892wrchrefe83n3ny2hqzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey5qx623</id>
    
      <title type="html">Dear colleagues, Let me remind you that CNRS and INRIA will open ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsx0rpra5uevnlanp50e2y3faywmpugzv5892wrchrefe83n3ny2hqzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey5qx623" />
    <content type="html">
      Dear colleagues,&lt;br/&gt;&lt;br/&gt;Let me remind you that CNRS and INRIA will open positions next spring.&lt;br/&gt;&lt;br/&gt;It is not necessary to speak French.&lt;br/&gt;&lt;br/&gt;However it is very important to get acquainted with the system before the official application period opens.&lt;br/&gt;&lt;br/&gt;Contact me if interested.
    </content>
    <updated>2024-11-06T09:59:20Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqszd9sgaqax826hdstpy6e4qva4fle4jpx4pt2k56l7wwtkysut0yqzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey0ujthn</id>
    
      <title type="html">I have a naive question: was it even seriously discussed to move ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqszd9sgaqax826hdstpy6e4qva4fle4jpx4pt2k56l7wwtkysut0yqzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey0ujthn" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqstlum43zar0jht69wu0x5a7lwjs96u9qpps6p92qflnk0k64d45aqkdsua9&#39;&gt;nevent1q…sua9&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;I have a naive question: was it even seriously discussed to move elections to a Sunday, a day where most people don&amp;#39;t work?
    </content>
    <updated>2024-10-31T20:28:29Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsw2hn46htzj0knu262grhujc5um6nhzf80npq67jssnjp638v3lzgzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyamkj3j</id>
    
      <title type="html">I&amp;#39;ve read somewhere that Art Nouveau is architecture and art ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsw2hn46htzj0knu262grhujc5um6nhzf80npq67jssnjp638v3lzgzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyamkj3j" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqs98yvu2g69u8hjhdczk2nkcjjr080v399hcszspxrg9euzpn8cvug0hpqey&#39;&gt;nevent1q…pqey&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;I&amp;#39;ve read somewhere that Art Nouveau is architecture and art as if they were conceived by Elves, while Art Déco is as if they were conceived by Dwarves.
    </content>
    <updated>2024-10-11T13:14:29Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsycrpl794vsklwdrwk3et0aa98xkrqmpfu2rxf0q056npeq0kwewczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eya3phed</id>
    
      <title type="html">Today I rode my bicycle in front of a 22 kW car charger. ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsycrpl794vsklwdrwk3et0aa98xkrqmpfu2rxf0q056npeq0kwewczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eya3phed" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsvg43zu9y84kutuvva26yjrdscvfmh9yvqfqduyvgxhska622xxjgqmr8u2&#39;&gt;nevent1q…r8u2&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Today I rode my bicycle in front of a 22 kW car charger. That&amp;#39;s 100 amps @ 220V, this is far beyond any normal household wattage.&lt;br/&gt;&lt;br/&gt;In a country such as France, and I suspect the same applies to the US, energy consumption from hydrocarbons tops that from electricity.
    </content>
    <updated>2024-09-30T18:35:37Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqs8m7m7jn3gnsm49fzqmyd27ulxu3hapvrpknxygg3eu2tqrc43qdczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyr4gtzl</id>
    
      <title type="html">Wikipedia says that there is currently no theoretical reason ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs8m7m7jn3gnsm49fzqmyd27ulxu3hapvrpknxygg3eu2tqrc43qdczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyr4gtzl" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsrp0lu3h5ncgmw3vkmhpukxragr2z6vmj9m2wt084wg0wzu4lf5vceq5u3c&#39;&gt;nevent1q…5u3c&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Wikipedia says that there is currently no theoretical reason known explaining why such a law should hold… Is this correct?
    </content>
    <updated>2024-09-28T21:28:14Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqs00ex8ucmhyumf7pzrxp390de0rjpnctzhaj9c9zqqhvzp6vh2tuszyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eysd6tfe</id>
    
      <title type="html">But what would have been the commercial and government/regulatory ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs00ex8ucmhyumf7pzrxp390de0rjpnctzhaj9c9zqqhvzp6vh2tuszyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eysd6tfe" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqsquxvgvghyx0jwfyt9pqpzx4zmw2g5ue2k8e8ys6l27e6yv3flldcuj5hju&#39;&gt;nevent1q…5hju&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;But what would have been the commercial and government/regulatory incentives to make this happen?&lt;br/&gt;&lt;br/&gt;Telcos want to be able to charge you, and governments like knowing where you are and who you talk to.
    </content>
    <updated>2024-09-15T07:39:28Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqs97r33nd58rn6np64j3nrtx2gdqn6r3my7z9t82cs6gnvs3pru8jczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey2tdwjm</id>
    
      <title type="html">Would you happen to know why there was a hollow space in this ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqs97r33nd58rn6np64j3nrtx2gdqn6r3my7z9t82cs6gnvs3pru8jczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey2tdwjm" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqs8rjp3dqg59pxksgcmfhkyary6zzzlvsjj9jls0n5mc9xacrhnuqslsyek5&#39;&gt;nevent1q…yek5&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Would you happen to know why there was a hollow space in this otherwise almost solidly built up area?
    </content>
    <updated>2024-09-10T12:09:58Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsr06vw0wttrcjzwv3h06uycjvhrgac5dkqppg2hur4t9dgc6t8zzgzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyjs4qmq</id>
    
      <title type="html">Je déteste ce présupposé que si l&amp;#39;on ne parle pas d&amp;#39;un ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsr06vw0wttrcjzwv3h06uycjvhrgac5dkqppg2hur4t9dgc6t8zzgzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyjs4qmq" />
    <content type="html">
      Je déteste ce présupposé que si l&amp;#39;on ne parle pas d&amp;#39;un sujet, c&amp;#39;est qu&amp;#39;on s&amp;#39;en fiche voire qu&amp;#39;on n&amp;#39;en a jamais entendu parler.&lt;br/&gt;&lt;br/&gt;C&amp;#39;est peut-être qu&amp;#39;on estime n&amp;#39;avoir rien d&amp;#39;intéressant à dire et qu&amp;#39;on ne veut pas rajouter du bruit.
    </content>
    <updated>2024-09-06T11:37:02Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqswh2tsycwt63ggq7tn8yp8rv7n3d0dcx8e5masxfafvhka35k5lpczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyd5urac</id>
    
      <title type="html">Et donc, sur demande populaire, une démonstration du théorème ...</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqswh2tsycwt63ggq7tn8yp8rv7n3d0dcx8e5masxfafvhka35k5lpczyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0eyd5urac" />
    <content type="html">
      Et donc, sur demande populaire, une démonstration du théorème de l&amp;#39;arrêt de Turing : &amp;#34;il n&amp;#39;y a pas de programme qui, au vu du code source d&amp;#39;un programme, détermine si ce dernier termine ou non [si on lui fournit une entrée vide]&amp;#34;.
    </content>
    <updated>2024-08-24T18:05:33Z</updated>
  </entry>

  <entry>
    <id>https://yabu.me/nevent1qqsf4ufkak2evhz37yslzgdkwr2dmds0qzvpd7dehqthhn9n3ukukmqzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey948rq7</id>
    
      <title type="html">Seems so. A-10 is not supersonic, is it?</title>
    
    <link rel="alternate" href="https://yabu.me/nevent1qqsf4ufkak2evhz37yslzgdkwr2dmds0qzvpd7dehqthhn9n3ukukmqzyqjadr2jv73pztf4qpndd0qccfz667h4a0e35wsq48w4dysmnc0ey948rq7" />
    <content type="html">
      In reply to &lt;a href=&#39;/nevent1qqs207d96xqzzdns0yjvrawy5jk6ajevysaxweg52k0f08xhqp3ha6scxufzw&#39;&gt;nevent1q…ufzw&lt;/a&gt;&lt;br/&gt;_________________________&lt;br/&gt;&lt;br/&gt;Seems so. A-10 is not supersonic, is it?
    </content>
    <updated>2024-08-22T20:47:10Z</updated>
  </entry>

</feed>