A place to cache linked articles (think custom and personal wayback machine)
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

index.html 10KB

1 년 전
1 년 전
1 년 전
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176
  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>GitHub Copilot AI pair programmer: Asset or Liability? (archive) — David Larlet</title>
  13. <meta name="description" content="Publication mise en cache pour en conserver une trace.">
  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. <!-- Is that even respected? Retrospectively? What a shAItshow…
  28. https://neil-clarke.com/block-the-bots-that-feed-ai-models-by-scraping-your-website/ -->
  29. <meta name="robots" content="noai, noimageai">
  30. <!-- Documented, feel free to shoot an email. -->
  31. <link rel="stylesheet" href="/static/david/css/style_2021-01-20.css">
  32. <!-- See https://www.zachleat.com/web/comprehensive-webfonts/ for the trade-off. -->
  33. <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>
  34. <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>
  35. <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>
  36. <link rel="preload" href="/static/david/css/fonts/triplicate_t3_regular.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: dark)" crossorigin>
  37. <link rel="preload" href="/static/david/css/fonts/triplicate_t3_bold.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: dark)" crossorigin>
  38. <link rel="preload" href="/static/david/css/fonts/triplicate_t3_italic.woff2" as="font" type="font/woff2" media="(prefers-color-scheme: dark)" crossorigin>
  39. <script>
  40. function toggleTheme(themeName) {
  41. document.documentElement.classList.toggle(
  42. 'forced-dark',
  43. themeName === 'dark'
  44. )
  45. document.documentElement.classList.toggle(
  46. 'forced-light',
  47. themeName === 'light'
  48. )
  49. }
  50. const selectedTheme = localStorage.getItem('theme')
  51. if (selectedTheme !== 'undefined') {
  52. toggleTheme(selectedTheme)
  53. }
  54. </script>
  55. <meta name="robots" content="noindex, nofollow">
  56. <meta content="origin-when-cross-origin" name="referrer">
  57. <!-- Canonical URL for SEO purposes -->
  58. <link rel="canonical" href="https://www.sciencedirect.com/science/article/abs/pii/S0164121223001292">
  59. <body class="remarkdown h1-underline h2-underline h3-underline em-underscore hr-center ul-star pre-tick" data-instant-intensity="viewport-all">
  60. <article>
  61. <header>
  62. <h1>GitHub Copilot AI pair programmer: Asset or Liability?</h1>
  63. </header>
  64. <nav>
  65. <p class="center">
  66. <a href="/david/" title="Aller à l’accueil"><svg class="icon icon-home">
  67. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-home"></use>
  68. </svg> Accueil</a> •
  69. <a href="https://www.sciencedirect.com/science/article/abs/pii/S0164121223001292" title="Lien vers le contenu original">Source originale</a>
  70. </p>
  71. </nav>
  72. <hr>
  73. <h2>Abstract</h2>
  74. <p>Automatic program synthesis is a long-lasting dream in software engineering. Recently, a promising Deep Learning (DL) based solution, called Copilot, has been proposed by OpenAI and Microsoft as an industrial product. Although some studies evaluate the correctness of Copilot solutions and report its issues, more empirical evaluations are necessary to understand how developers can benefit from it effectively. In this paper, we study the capabilities of Copilot in two different programming tasks: (i) generating (and reproducing) correct and efficient solutions for fundamental algorithmic problems, and (ii) comparing Copilot’s proposed solutions with those of human programmers on a set of programming tasks. For the former, we assess the performance and functionality of Copilot in solving selected fundamental problems in computer science, like sorting and implementing data structures. In the latter, a dataset of programming problems with human-provided solutions is used. The results show that Copilot is capable of providing solutions for almost all fundamental algorithmic problems, however, some solutions are buggy and non-reproducible. Moreover, Copilot has some difficulties in combining multiple methods to generate a solution. Comparing Copilot to humans, our results show that the correct ratio of humans’ solutions is greater than Copilot’s suggestions, while the buggy solutions generated by Copilot require less effort to be repaired. Based on our findings, if Copilot is used by expert developers in software projects, it can become an asset since its suggestions could be comparable to humans’ contributions in terms of quality. However, Copilot can become a liability if it is used by novice developers who may fail to filter its buggy or non-optimal solutions due to a lack of expertise.</p>
  75. </article>
  76. <hr>
  77. <footer>
  78. <p>
  79. <a href="/david/" title="Aller à l’accueil"><svg class="icon icon-home">
  80. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-home"></use>
  81. </svg> Accueil</a> •
  82. <a href="/david/log/" title="Accès au flux RSS"><svg class="icon icon-rss2">
  83. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-rss2"></use>
  84. </svg> Suivre</a> •
  85. <a href="http://larlet.com" title="Go to my English profile" data-instant><svg class="icon icon-user-tie">
  86. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-user-tie"></use>
  87. </svg> Pro</a> •
  88. <a href="mailto:david%40larlet.fr" title="Envoyer un courriel"><svg class="icon icon-mail">
  89. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-mail"></use>
  90. </svg> Email</a> •
  91. <abbr class="nowrap" title="Hébergeur : Alwaysdata, 62 rue Tiquetonne 75002 Paris, +33184162340"><svg class="icon icon-hammer2">
  92. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-hammer2"></use>
  93. </svg> Légal</abbr>
  94. </p>
  95. <template id="theme-selector">
  96. <form>
  97. <fieldset>
  98. <legend><svg class="icon icon-brightness-contrast">
  99. <use xlink:href="/static/david/icons2/symbol-defs-2021-12.svg#icon-brightness-contrast"></use>
  100. </svg> Thème</legend>
  101. <label>
  102. <input type="radio" value="auto" name="chosen-color-scheme" checked> Auto
  103. </label>
  104. <label>
  105. <input type="radio" value="dark" name="chosen-color-scheme"> Foncé
  106. </label>
  107. <label>
  108. <input type="radio" value="light" name="chosen-color-scheme"> Clair
  109. </label>
  110. </fieldset>
  111. </form>
  112. </template>
  113. </footer>
  114. <script src="/static/david/js/instantpage-5.1.0.min.js" type="module"></script>
  115. <script>
  116. function loadThemeForm(templateName) {
  117. const themeSelectorTemplate = document.querySelector(templateName)
  118. const form = themeSelectorTemplate.content.firstElementChild
  119. themeSelectorTemplate.replaceWith(form)
  120. form.addEventListener('change', (e) => {
  121. const chosenColorScheme = e.target.value
  122. localStorage.setItem('theme', chosenColorScheme)
  123. toggleTheme(chosenColorScheme)
  124. })
  125. const selectedTheme = localStorage.getItem('theme')
  126. if (selectedTheme && selectedTheme !== 'undefined') {
  127. form.querySelector(`[value="${selectedTheme}"]`).checked = true
  128. }
  129. }
  130. const prefersColorSchemeDark = '(prefers-color-scheme: dark)'
  131. window.addEventListener('load', () => {
  132. let hasDarkRules = false
  133. for (const styleSheet of Array.from(document.styleSheets)) {
  134. let mediaRules = []
  135. for (const cssRule of styleSheet.cssRules) {
  136. if (cssRule.type !== CSSRule.MEDIA_RULE) {
  137. continue
  138. }
  139. // WARNING: Safari does not have/supports `conditionText`.
  140. if (cssRule.conditionText) {
  141. if (cssRule.conditionText !== prefersColorSchemeDark) {
  142. continue
  143. }
  144. } else {
  145. if (cssRule.cssText.startsWith(prefersColorSchemeDark)) {
  146. continue
  147. }
  148. }
  149. mediaRules = mediaRules.concat(Array.from(cssRule.cssRules))
  150. }
  151. // WARNING: do not try to insert a Rule to a styleSheet you are
  152. // currently iterating on, otherwise the browser will be stuck
  153. // in a infinite loop…
  154. for (const mediaRule of mediaRules) {
  155. styleSheet.insertRule(mediaRule.cssText)
  156. hasDarkRules = true
  157. }
  158. }
  159. if (hasDarkRules) {
  160. loadThemeForm('#theme-selector')
  161. }
  162. })
  163. </script>
  164. </body>
  165. </html>