Repository with sources and generator of https://larlet.fr/david/ https://larlet.fr/david/
選択できるのは25トピックまでです。 トピックは、先頭が英数字で、英数字とダッシュ('-')を使用した35文字以内のものにしてください。

index.html 11KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189
  1. <!doctype html><!-- This is a valid HTML5 document. -->
  2. <!-- Screen readers, SEO, extensions and so on. -->
  3. <html lang="fr">
  4. <!-- Has to be within the first 1024 bytes, hence before the `title` element
  5. See: https://www.w3.org/TR/2012/CR-html5-20121217/document-metadata.html#charset -->
  6. <meta charset="utf-8">
  7. <!-- Why no `X-UA-Compatible` meta: https://stackoverflow.com/a/6771584 -->
  8. <!-- The viewport meta is quite crowded and we are responsible for that.
  9. See: https://codepen.io/tigt/post/meta-viewport-for-2015 -->
  10. <meta name="viewport" content="width=device-width,initial-scale=1">
  11. <!-- Required to make a valid HTML5 document. -->
  12. <title>Copilot — David Larlet</title>
  13. <meta name="description" content="GitHub recently announced a tool called Copilot, a tool which uses machine learning to provide code suggestions, inciting no small degree of controversy. One particular facet of the ensuing discussion piques my curiosity: what happens if the model was trained using software licensed with the GNU General Public License?">
  14. <!-- That good ol' feed, subscribe :). -->
  15. <link rel="alternate" type="application/atom+xml" title="Feed" href="/david/log/">
  16. <!-- Generated from https://realfavicongenerator.net/ such a mess. -->
  17. <link rel="apple-touch-icon" sizes="180x180" href="/static/david/icons2/apple-touch-icon.png">
  18. <link rel="icon" type="image/png" sizes="32x32" href="/static/david/icons2/favicon-32x32.png">
  19. <link rel="icon" type="image/png" sizes="16x16" href="/static/david/icons2/favicon-16x16.png">
  20. <link rel="manifest" href="/static/david/icons2/site.webmanifest">
  21. <link rel="mask-icon" href="/static/david/icons2/safari-pinned-tab.svg" color="#07486c">
  22. <link rel="shortcut icon" href="/static/david/icons2/favicon.ico">
  23. <meta name="msapplication-TileColor" content="#f7f7f7">
  24. <meta name="msapplication-config" content="/static/david/icons2/browserconfig.xml">
  25. <meta name="theme-color" content="#f7f7f7" media="(prefers-color-scheme: light)">
  26. <meta name="theme-color" content="#272727" media="(prefers-color-scheme: dark)">
  27. <!-- Documented, feel free to shoot an email. -->
  28. <link rel="stylesheet" href="/static/david/css/style_2021-01-20.css">
  29. <!-- See https://www.zachleat.com/web/comprehensive-webfonts/ for the trade-off. -->
  30. <link rel="preload" href="/static/david/css/fonts/triplicate_t4_poly_regular.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)" crossorigin>
  31. <link rel="preload" href="/static/david/css/fonts/triplicate_t4_poly_bold.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)" crossorigin>
  32. <link rel="preload" href="/static/david/css/fonts/triplicate_t4_poly_italic.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: light), (prefers-color-scheme: no-preference)" crossorigin>
  33. <link rel="preload" href="/static/david/css/fonts/triplicate_t3_regular.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: dark)" crossorigin>
  34. <link rel="preload" href="/static/david/css/fonts/triplicate_t3_bold.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: dark)" crossorigin>
  35. <link rel="preload" href="/static/david/css/fonts/triplicate_t3_italic.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: dark)" crossorigin>
  36. <script>
  37. function toggleTheme(themeName) {
  38. document.documentElement.classList.toggle(
  39. 'forced-dark',
  40. themeName === 'dark'
  41. )
  42. document.documentElement.classList.toggle(
  43. 'forced-light',
  44. themeName === 'light'
  45. )
  46. }
  47. const selectedTheme = localStorage.getItem('theme')
  48. if (selectedTheme !== 'undefined') {
  49. toggleTheme(selectedTheme)
  50. }
  51. </script>
  52. <body class="remarkdown h1-underline h2-underline h3-underline em-underscore hr-center ul-star pre-tick" data-instant-intensity="viewport-all">
  53. <article>
  54. <header>
  55. <h1>Copilot</h1>
  56. </header>
  57. <nav>
  58. <p class="center">
  59. <a rel="prev" href="/david/2021/07/06/" title="Publication précédente : Bloguisme">← Précédent</a> •
  60. <a href="/david/" title="Aller à l’accueil"><svg class="icon icon-home">
  61. <use xlink:href="/static/david/icons2/symbol-defs.svg#icon-home"></use>
  62. </svg> Accueil</a>
  63. • <a rel="next" href="/david/2021/07/09/" title="Publication suivante : Balle">Suivant →</a>
  64. </p>
  65. </nav>
  66. <hr>
  67. <blockquote lang="en">
  68. <p>GitHub recently announced a tool called Copilot, a tool which uses machine learning to provide code suggestions, inciting no small degree of controversy. One particular facet of the ensuing discussion piques my curiosity: what happens if the model was trained using software licensed with the GNU General Public License?</p>
  69. <p><cite><em><a href="https://drewdevault.com/2021/07/04/Is-GitHub-a-derivative-work.html">Is GitHub a derivative work of GPL’d software?</a></em> (<a href="/david/cache/2021/0bb6418a58c977e7b142597213f6225d/">cache</a>)</cite></p>
  70. </blockquote>
  71. <p>Les <a href="https://mjtsai.com/blog/2021/07/07/github-copilot-and-copyright/">réactions ont été assez salées</a> (<a href="/david/cache/2021/05391381e6590e32184162110762aa62/">cache</a>) — et à juste titre&#8239;! — suite à cette annonce, et je ne parle même pas des <a href="https://fossbytes.com/github-copilot-generating-functional-api-keys/"><em>bugs</em> fâcheux</a> (<a href="/david/cache/2021/b7e5f13409115890c2478466f01369d8/">cache</a>) lors de cet apprentissage. Pour ma part, ça m’a fait glousser que Microsoft fasse du blanchiment de code sous GPL, mais c’est probablement car je commence à me faire vieux.</p>
  72. <p>Il y a tout de même une approche séduisante à imaginer une façon hybride de produire du code. J’y vois un parallèle avec les <a href="/david/2021/06/19/" title="Échecs">échecs</a> et le fait que ce soit la combinaison humain + machine qui devienne la plus puissante (passé un certain niveau permettant de comprendre les propositions de l’ordinateur, c’est une condition importante). Il n’y a probablement pas tout à jeter dans cette exploration, j’aimais bien aussi l’idée d’<a href="https://github.com/drathier/stack-overflow-import">importer directement depuis StackOverflow</a> sans même savoir ce qu’il y a dans la fonction. De <em>batteries included</em> à <em>copy-pasta included</em>, cela introduit une notion de confiance sociale et technique&nbsp;:-).</p>
  73. <p>Je n’en reste pas moins fidèle à <a href="https://www.sublimetext.com">SublimeText</a>, j’ai besoin d’un éditeur fonctionnel et rapide.</p>
  74. <blockquote>
  75. <p>À mon sens, les réformateurs ont causé plus de tort à eux seuls que n’importe quelle autre force dans toute l’histoire humaine. Montrez-moi quelqu’un qui déclare&nbsp;: «&nbsp;Tout cela doit être changé&nbsp;» et vous aurez devant vous une tête gonflée d’intentions pernicieuses qui n’ont aucun autre exutoire. Ce que nous devons au contraire nous efforcer de faire toujours, c’est découvrir les cours naturels des choses et nous y insérer sans heurt.</p>
  76. <p><cite><em>Révérende Mère Taraza, Extrait d’une convention</em>, <em><a href="/david/2020/12/21/#dune">Dune</a> V. Les Hérétiques de Dune</em>, Frank Herbert</cite></p>
  77. </blockquote>
  78. <nav>
  79. <p class="center">
  80. <a rel="prev" href="/david/2021/07/06/" title="Publication précédente : Bloguisme">← Précédent</a> •
  81. <a href="/david/2021/" title="Liste des publications récentes">↑ En 2021</a>
  82. • <a rel="next" href="/david/2021/07/09/" title="Publication suivante : Balle">Suivant →</a>
  83. </p>
  84. </nav>
  85. </article>
  86. <hr>
  87. <footer>
  88. <p>
  89. <a href="/david/" title="Aller à l’accueil"><svg class="icon icon-home">
  90. <use xlink:href="/static/david/icons2/symbol-defs.svg#icon-home"></use>
  91. </svg> Accueil</a> •
  92. <a href="/david/log/" title="Accès au flux RSS"><svg class="icon icon-rss2">
  93. <use xlink:href="/static/david/icons2/symbol-defs.svg#icon-rss2"></use>
  94. </svg> Suivre</a> •
  95. <a href="http://larlet.com" title="Go to my English profile" data-instant><svg class="icon icon-user-tie">
  96. <use xlink:href="/static/david/icons2/symbol-defs.svg#icon-user-tie"></use>
  97. </svg> Pro</a> •
  98. <a href="mailto:david%40larlet.fr" title="Envoyer un courriel"><svg class="icon icon-mail">
  99. <use xlink:href="/static/david/icons2/symbol-defs.svg#icon-mail"></use>
  100. </svg> Email</a> •
  101. <abbr class="nowrap" title="Hébergeur : Alwaysdata, 62 rue Tiquetonne 75002 Paris, +33184162340"><svg class="icon icon-hammer2">
  102. <use xlink:href="/static/david/icons2/symbol-defs.svg#icon-hammer2"></use>
  103. </svg> Légal</abbr>
  104. </p>
  105. <template id="theme-selector">
  106. <form>
  107. <fieldset>
  108. <legend><svg class="icon icon-brightness-contrast">
  109. <use xlink:href="/static/david/icons2/symbol-defs.svg#icon-brightness-contrast"></use>
  110. </svg> Thème</legend>
  111. <label>
  112. <input type="radio" value="auto" name="chosen-color-scheme" checked> Auto
  113. </label>
  114. <label>
  115. <input type="radio" value="dark" name="chosen-color-scheme"> Foncé
  116. </label>
  117. <label>
  118. <input type="radio" value="light" name="chosen-color-scheme"> Clair
  119. </label>
  120. </fieldset>
  121. </form>
  122. </template>
  123. </footer>
  124. <script src="/static/david/js/instantpage-5.1.0.min.js" type="module"></script>
  125. <script>
  126. function loadThemeForm(templateName) {
  127. const themeSelectorTemplate = document.querySelector(templateName)
  128. const form = themeSelectorTemplate.content.firstElementChild
  129. themeSelectorTemplate.replaceWith(form)
  130. form.addEventListener('change', (e) => {
  131. const chosenColorScheme = e.target.value
  132. localStorage.setItem('theme', chosenColorScheme)
  133. toggleTheme(chosenColorScheme)
  134. })
  135. const selectedTheme = localStorage.getItem('theme')
  136. if (selectedTheme && selectedTheme !== 'undefined') {
  137. form.querySelector(`[value="${selectedTheme}"]`).checked = true
  138. }
  139. }
  140. const prefersColorSchemeDark = '(prefers-color-scheme: dark)'
  141. window.addEventListener('load', () => {
  142. let hasDarkRules = false
  143. for (const styleSheet of Array.from(document.styleSheets)) {
  144. let mediaRules = []
  145. for (const cssRule of styleSheet.cssRules) {
  146. if (cssRule.type !== CSSRule.MEDIA_RULE) {
  147. continue
  148. }
  149. // WARNING: Safari does not have/supports `conditionText`.
  150. if (cssRule.conditionText) {
  151. if (cssRule.conditionText !== prefersColorSchemeDark) {
  152. continue
  153. }
  154. } else {
  155. if (cssRule.cssText.startsWith(prefersColorSchemeDark)) {
  156. continue
  157. }
  158. }
  159. mediaRules = mediaRules.concat(Array.from(cssRule.cssRules))
  160. }
  161. // WARNING: do not try to insert a Rule to a styleSheet you are
  162. // currently iterating on, otherwise the browser will be stuck
  163. // in a infinite loop…
  164. for (const mediaRule of mediaRules) {
  165. styleSheet.insertRule(mediaRule.cssText)
  166. hasDarkRules = true
  167. }
  168. }
  169. if (hasDarkRules) {
  170. loadThemeForm('#theme-selector')
  171. }
  172. })
  173. </script>
  174. </body>
  175. </html>