Repository with sources and generator of https://larlet.fr/david/ https://larlet.fr/david/
Nelze vybrat více než 25 témat Téma musí začínat písmenem nebo číslem, může obsahovat pomlčky („-“) a může být dlouhé až 35 znaků.

index.html 12KB

před 3 roky
před 3 roky
před 3 roky
před 3 roky
před 3 roky
před 3 roky
před 3 roky
před 3 roky
před 3 roky
před 3 roky
před 3 roky
před 3 roky
před 3 roky
před 3 roky
před 3 roky
před 3 roky
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213
  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-2021-12.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>
  80. <a href="/david/2021/open-source/"
  81. title="Liste de tous les articles associés à cette étiquette"
  82. >#open-source</a>
  83. <a href="/david/2021/technique/"
  84. title="Liste de tous les articles associés à cette étiquette"
  85. >#technique</a>
  86. <a href="/david/2021/transformation/"
  87. title="Liste de tous les articles associés à cette étiquette"
  88. >#transformation</a>
  89. <a href="/david/#tags"
  90. title="Liste de toutes les étiquettes existantes"
  91. ><svg class="icon icon-tags">
  92. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-tags"></use>
  93. </svg> tous ?</a>
  94. </p>
  95. </nav>
  96. <nav>
  97. <p class="center">
  98. <a rel="prev" href="/david/2021/07/06/" title="Publication précédente : Bloguisme">← Précédent</a> •
  99. <a href="/david/2021/" title="Liste des publications récentes">↑ En 2021</a>
  100. • <a rel="next" href="/david/2021/07/09/" title="Publication suivante : Balle">Suivant →</a>
  101. </p>
  102. </nav>
  103. </article>
  104. <hr>
  105. <footer>
  106. <p>
  107. <a href="/david/" title="Aller à l’accueil"><svg class="icon icon-home">
  108. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-home"></use>
  109. </svg> Accueil</a> •
  110. <a href="/david/log/" title="Accès au flux RSS"><svg class="icon icon-rss2">
  111. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-rss2"></use>
  112. </svg> Suivre</a> •
  113. <a href="http://larlet.com" title="Go to my English profile" data-instant><svg class="icon icon-user-tie">
  114. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-user-tie"></use>
  115. </svg> Pro</a> •
  116. <a href="mailto:david%40larlet.fr" title="Envoyer un courriel"><svg class="icon icon-mail">
  117. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-mail"></use>
  118. </svg> Email</a> •
  119. <abbr class="nowrap" title="Hébergeur : Alwaysdata, 62 rue Tiquetonne 75002 Paris, +33184162340"><svg class="icon icon-hammer2">
  120. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-hammer2"></use>
  121. </svg> Légal</abbr>
  122. </p>
  123. <template id="theme-selector">
  124. <form>
  125. <fieldset>
  126. <legend><svg class="icon icon-brightness-contrast">
  127. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-brightness-contrast"></use>
  128. </svg> Thème</legend>
  129. <label>
  130. <input type="radio" value="auto" name="chosen-color-scheme" checked> Auto
  131. </label>
  132. <label>
  133. <input type="radio" value="dark" name="chosen-color-scheme"> Foncé
  134. </label>
  135. <label>
  136. <input type="radio" value="light" name="chosen-color-scheme"> Clair
  137. </label>
  138. </fieldset>
  139. </form>
  140. </template>
  141. </footer>
  142. <script src="/static/david/js/instantpage-5.1.0.min.js" type="module"></script>
  143. <script>
  144. function loadThemeForm(templateName) {
  145. const themeSelectorTemplate = document.querySelector(templateName)
  146. const form = themeSelectorTemplate.content.firstElementChild
  147. themeSelectorTemplate.replaceWith(form)
  148. form.addEventListener('change', (e) => {
  149. const chosenColorScheme = e.target.value
  150. localStorage.setItem('theme', chosenColorScheme)
  151. toggleTheme(chosenColorScheme)
  152. })
  153. const selectedTheme = localStorage.getItem('theme')
  154. if (selectedTheme && selectedTheme !== 'undefined') {
  155. form.querySelector(`[value="${selectedTheme}"]`).checked = true
  156. }
  157. }
  158. const prefersColorSchemeDark = '(prefers-color-scheme: dark)'
  159. window.addEventListener('load', () => {
  160. let hasDarkRules = false
  161. for (const styleSheet of Array.from(document.styleSheets)) {
  162. let mediaRules = []
  163. for (const cssRule of styleSheet.cssRules) {
  164. if (cssRule.type !== CSSRule.MEDIA_RULE) {
  165. continue
  166. }
  167. // WARNING: Safari does not have/supports `conditionText`.
  168. if (cssRule.conditionText) {
  169. if (cssRule.conditionText !== prefersColorSchemeDark) {
  170. continue
  171. }
  172. } else {
  173. if (cssRule.cssText.startsWith(prefersColorSchemeDark)) {
  174. continue
  175. }
  176. }
  177. mediaRules = mediaRules.concat(Array.from(cssRule.cssRules))
  178. }
  179. // WARNING: do not try to insert a Rule to a styleSheet you are
  180. // currently iterating on, otherwise the browser will be stuck
  181. // in a infinite loop…
  182. for (const mediaRule of mediaRules) {
  183. styleSheet.insertRule(mediaRule.cssText)
  184. hasDarkRules = true
  185. }
  186. }
  187. if (hasDarkRules) {
  188. loadThemeForm('#theme-selector')
  189. }
  190. })
  191. </script>
  192. </body>
  193. </html>