GitHub Copilot

GitHub Copilot
software
Logo
Logo
Genereautocompletamento del codice sorgente (non in lista)
SviluppatoreGitHub, OpenAI
Data prima versione27 ottobre 2021
Ultima versione1.29.6152
Sistema operativoMicrosoft Windows
Licenza(licenza libera)
Sito webcopilot.github.com/
Modifica dati su Wikidata · Manuale


GitHub Copilot è un programma dell'intelligenza artificiale operante nel cloud e sviluppato da GitHub e OpenAI per assistere gli utenti degli ambienti di sviluppo integrato (IDE) di Visual Studio Code, Visual Studio, Neovim e JetBrains mediante l'autocompletamento del codice.[1] Disponibile su abbonamento per singoli sviluppatori, fu annunciato per la prima volta da GitHub il 29 giugno 2021 ed è ottimizzato per i linguaggi di programmazione Python, JavaScript, TypeScript, Ruby e Go.[2]

Storia

Il 29 giugno 2021 GitHub annunciò il lancio di GitHub Copilot per l'anteprima tecnica nell'ambiente di sviluppo di Visual Studio Code.[1][3] Il 29 ottobre 2021 GitHub Copilot fu rilasciato come plug-in nel negozio elettronico di JetBrains.[4] Il 27 ottobre 2021 GitHub pubblicò il plug-in GitHub Copilot Neovim come repository pubblico.[5] Il 29 marzo 2022 fu annunciata la versione per Visual Studio.[6] Il 21 giugno 2022 GitHub dichiarò che Copilot non era più nella fase di "anteprima tecnica" e che era disponibile come servizio in abbonamento per sviluppatori singoli.[7]

Caratteristiche

Codex è in grado di generare codice risolutivo di problemi di programmazione viene formulati in linguaggio naturale.[8] È anche in grado di documentare il codice sorgente in inglese e di tradurlo in linguaggi di programmazione differenti.[8]

Secondo il sito web, GitHub Copilot include funzionalità di supporto per i programmatori, come la possibilità di convertire i commenti del codice in codice eseguibile e il completamento automatico per blocchi di codice, sezioni ripetitive di codice e interi metodi e/o funzioni.[2][9] GitHub riferisce che la funzione di completamento automatico di Copilot è accurata al 50%; ad esempio, con un codice di intestazione di una funzione in Python, Copilot ha completato correttamente in automatico il resto del codice del corpo della funzione il 43% delle volte al primo tentativo e il 57% delle volte dopo dieci tentativi.[2]

GitHub afferma che le funzionalità di Copilot consentono ai programmatori di navigare al'interno di framework e linguaggi di codifica sconosciuti, riducendo la quantità di tempo dedicata alla lettura della documentazione.[2]

Implementazione

GitHub Copilot è alimentato da OpenAI Codex[10], una versione di produzione modificata del Generative Pre-addestrato Transformer 3 (GPT-3), un modello linguistico che utilizza il deep learning per produrre testo simile a quello umano.[11]

Il modello Codex è inoltre addestrato su gigabyte di codice sorgente in una dozzina di linguaggi di programmazione diversi. Esso è addestrato su una selezione di lingua inglese, attingendo a repository di GitHub pubblici e ad altro codice sorgente pubblicamente disponibile.[2] In particolare, è incluso un dataset filtrato di 159 gigabyte di codice Python proveniente da 54 milioni di repository GitHub pubblici.[12] GPT-3 di Open AI è concesso in licenza esclusivamente a Microsoft, la casa madre di GitHub.[13]

Accoglienza

Fin dal rilascio di Copilot ci sono state preoccupazioni per il suo impatto sulla sicurezza e sull'istruzione, nonché controversie sulla licenza relativa al codice da esso generato.[8][14][15]

Controversie sulla licenza

Nel giugno 2021 l'amministratore delegato di GitHub Nat Friedman affermò che "addestrare i sistemi ML sui dati pubblici rientra nel fair use".[16] Una causa legale collettiva intentata nel novembre 2022 replicò che si trattava di "pura speculazione", asserendo che "nessun tribunale ha considerato la questione del fatto che "addestrare i sistemi di ML sui dati pubblici sia una forma di fair use".[17] La causa intentata dallo studio legale Joseph Saveri contesta diversi aspetti legali, che vanno dalla violazione del contratto con gli utenti di GitHub alla violazione della privacy ai sensi del California Consumer Privacy Act per quanto atiene alla condivisione dei dati personali.[17][18]

GitHub ha confessato che una piccola parte dell'output può risultare letteralmente copiata, cosa che ha fatto temere che il codice di output non sia sufficientemente trasformativo per essere classificato come fair use e possa violare il copyright del proprietario originale.[14] Nel giugno 2022, la Software Freedom Conservancy notificò il divieto di usare GitHub all'interno dei propri progetti[19], accusando Copilot di ignorare le licenze di rilascio del codice presenti nei dati di addestramento.[20] In un messaggio di assistenza clienti, GitHub sostenne che "l'addestramento di modelli di machine learning su dati pubblicamente disponibili è considerato fair use da parte della comunità del machine learning. L'azione legale collettiva definì ciò "falso", osservando altresì che "indipendentemente dal livello di accettazione di questo concetto nella 'comunità del machine learning', secondo la legge federale, è illegale".[17]

Libri bianchi della FSF

Il 28 luglio 2021, la Free Software Foundation (FSF) pubblicò un bando retribuito per la presentazione di un libro bianco relativo a questioni filosofiche e legali relative a Copilot.[21] Donald Robertson, Licensing and Compliance Manager della FSF, disse che "Copilot solleva molte [...] domande che richiedono un esame più approfondito".[21] Il 24 febbraio 2022, la FSF comunicò di aver ricevuto 22 documenti sull'argomento e di averne selezionato 5 a conclusione di un processo di revisione anonimo.[22]

Problemi di privacy

Il servizio Copilot è basato sul cloud e richiede una comunicazione continua con i server di GitHub Copilot.[23] Questa architettura opaca ha alimentato preoccupazioni circa il rischio di telemetria e estrazione di dati a fronte di eventi asincroni azionati dal mondo esterno e riconosciuti dal programma.[24][25]

Problemi di sicurezza

Un documento accettato per la pubblicazione nell'IEEE Symposium on Security and Privacy nel 2022 ha valutato la sicurezza del codice generato da Copilot per i 25 principali di punti di debolezza del codice enumerati dal protocollo MITRE (ad es. il cross-site scripting, path traversal), nell'ambito di 89 diversi scenari e 1.689 programmi.[15] Ciò fu fatto lungo gli assi della diversità dei punti deboli (la sua capacità di risposta a scenari che possono introdurre vari punti deboli nel codice), diversità dei prompt (la sua capacità di rispondere ad una stessa debolezza del codice con variazioni minime, analisi di sensitività) e diversità di domini (la sua capacità di generare specifiche hardware a livello di trasferimento del registro in Verilog).[15] Lo studio rilevò che attraverso questi assi in molteplici lingue, il 39,33% dei migliori suggerimenti e il 40,73% dei suggerimenti totali avevano condotto a vulnerabilità del codice. Inoltre, rivelarono che anche piccole modifiche non semantiche (ovvero commenti) apportate al codice riuscivano a incidere sulla sicurezza di quest'ultimo.[15]

Problemi relativi al mondo della scuola

Un documento del febbraio 2022 pubblicato dall'Association for Computing Machinery valuta l'impatto che Codex, la tecnologia utilizzata da GitHub Copilot, potrebbe avere sulla formazione dei programmatori alle prime armi. Lo studio utilizza le domande di valutazione di un corso introduttivo di programmazione tenutosi presso l'Università di Auckland e mette a confronto le risposte di Codex con le prestazioni degli studenti.[8] I ricercatori scoprirono che Codex, in media, otteneva risultati migliori di quelli della maggior parte degli studenti; tuttavia, le sue prestazioni erano inferiori su domande che limitavano le funzionalità che potevano essere utilizzate nella soluzione (ad esempio, condizionali, collezioni di dati numerici come liste e grafi, e cicli for).[8] Dato questo tipo di problemi, "solo due delle 10 soluzioni [del Codex] hanno prodotto l'output corretto, ma entrambe [...] hanno violato [il] vincolo". Il documento conclude che Codex può essere utile nel fornire una varietà di soluzioni agli studenti, ma può anche indurre a un abuso della loro fiducia e al plagio.[8]

GitHub Copilot X

Il 23 marzo 2023 GitHub ha rilasciato Copilot X che integra GPT-4 per automatizzare l'individuazione e la correzione dei bug, le richieste di modifica e unione del codice in un repository centrale ad accesso distribuito, nonché la gestione documentale.

In VS Code e Visual Studio il programma integra una chat simile a ChatGPT, oltre al supporto vocale per la dettatura diretta del codice.[26]

Replit Ghostwriter

Replit Ghostwriter il concorrente diretto di Google che offre funzionalità di testing, software collaborativo e distribuzione delle app.[27]

Note

  1. ^ a b Dave Gershgorn, GitHub and OpenAI launch a new AI tool that generates its own code, su The Verge, 29 giugno 2021.
  2. ^ a b c d e GitHub Copilot · Your AI pair programmer, su copilot.github.com.
  3. ^ (EN) Introducing GitHub Copilot: your AI pair programmer, su github.blog, 29 giugno 2021.
  4. ^ GitHub Copilot - IntelliJ IDEs Plugin - Marketplace, su plugins.jetbrains.com.
  5. ^ Copilot.vim, su github.com, 7 aprile 2022.
  6. ^ (EN) GitHub Copilot now available for Visual Studio 2022, su github.blog, 29 marzo 2022.
  7. ^ (EN) GitHub Copilot is generally available to all developers, su github.blog, 21 giugno 2022.
  8. ^ a b c d e f James Finnie-Ansley, Paul Denny, Brett A. Becker, Andrew Luxton-Reilly e James Prather, The Robots Are Coming: Exploring the Implications of OpenAI Codex on Introductory Programming, in Australasian Computing Education Conference, ACE '22, New York, NY, USA, Association for Computing Machinery, 14 febbraio 2022, pp. 10–19, DOI:10.1145/3511861.3511863, ISBN 978-1-4503-9643-1.
  9. ^ Dominik Sobania, Dirk Schweim e Franz Rothlauf, A Comprehensive Survey on Program Synthesis with Evolutionary Algorithms, in IEEE Transactions on Evolutionary Computation, vol. 27, 2022, pp. 82–97, DOI:10.1109/TEVC.2022.3162324, ISSN 1941-0026 (WC · ACNP).
  10. ^ (EN) Paul Krill, OpenAI offers API for GitHub Copilot AI model, su infoworld.com, 12 agosto 2021.
  11. ^ (EN) OpenAI Releases GPT-3, The Largest Model So Far, su analyticsindiamag.com, 3 giugno 2020.
  12. ^ (EN) OpenAI Announces 12 Billion Parameter Code-Generation AI Codex, su infoq.com.
  13. ^ (EN) OpenAI is giving Microsoft exclusive access to its GPT-3 language model, su technologyreview.com.
  14. ^ a b c d Hammond Pearce, Baleegh Ahmad, Benjamin Tan, Brendan Dolan-Gavitt e Ramesh Karri, Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions, 16 dicembre 2021.
  15. ^ (EN) Nat Friedman [natfriedman], In general: (1) training ML systems on public data is fair use (Tweet), su X, X (archiviato dall'url originale il 30 giugno 2021).
  16. ^ a b c Matthew Butterick, GitHub Copilot litigation, su githubcopilotlitigation.com, 3 novembre 2022 (archiviato dall'url originale il 3 novembre 2022).
  17. ^ (EN) James Vincent, The lawsuit that could rewrite the rules of AI copyright, su theverge.com, 8 novembre 2022.
  18. ^ (EN) Give Up GitHub: The Time Has Come!, su sfconservancy.org.
  19. ^ (EN) If Software is My Copilot, Who Programmed My Software?, su sfconservancy.org.
  20. ^ a b FSF-funded call for white papers on philosophical and legal questions around Copilot, su fsf.org, Free Software Foundation, 28 luglio 2021.
  21. ^ Publication of the FSF-funded white papers on questions around Copilot, su fsf.org, 24 febbraio 2022.
  22. ^ GitHub Copilot - Your AI pair programmer, su github.com.
  23. ^ CoPilot: Privacy & DataMining, su github.com.
  24. ^ Who does that server really serve?, su gnu.org.
  25. ^ GitHub Copilot X: GPT-4 per gli sviluppatori, su punto-informatico.it.
  26. ^ Google si allea con Replit per sfidare GitHub Copilot, su punto-informatico.it.

Collegamenti esterni

  Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica

Read other articles:

Alatengae, Bantimurung, Maros

Koordinat: 4°59′47″S 119°36′14″E / 4.9964074°S 119.6037591°E / -4.9964074; 119.6037591 AlatengaeDesaKantor Desa Alatengae di Jl. Poros Bantimurung Km. 3, Dusun BulusipongNegara IndonesiaProvinsiSulawesi SelatanKabupatenMarosKecamatanBantimurungKode pos90561[1]Kode Kemendagri73.09.03.2003 Luas7,25 km² tahun 2017Jumlah penduduk4.596 jiwa tahun 2017Kepadatan633,93 jiwa/km² tahun 2017Jumlah RT20Jumlah RW8 Alatengae (Lontara Bugis: ᨕᨒᨈᨛᨂ...

 

Leigh Whannell

Biografi ini memerlukan lebih banyak catatan kaki untuk pemastian. Bantulah untuk menambahkan referensi atau sumber tepercaya. Materi kontroversial atau trivial yang sumbernya tidak memadai atau tidak bisa dipercaya harus segera dihapus, khususnya jika berpotensi memfitnah.Cari sumber: Leigh Whannell – berita · surat kabar · buku · cendekiawan · JSTOR (September 2012) (Pelajari cara dan kapan saatnya untuk menghapus pesan templat ini) Leigh WhannellWha...

 

Clara McMillen

American scientist Not to be confused with Clara G. McMillan. Clara McMillen1921 Yearbook PhotoBorn(1898-10-02)2 October 1898Bloomington, IndianaDiedApril 30, 1982(1982-04-30) (aged 83)Bloomington, IndianaOccupation(s)Biologist, sexologistKnown forZoology, entomologySpouse Alfred Kinsey ​ ​(m. 1921; died 1956)​Children4 Clara Bracken McMillen (October 2, 1898 – April 30, 1982) was an American researcher. The wife of Alfred Kinsey, wh...

Tough Call

Painting by Norman Rockwell Tough Call(Game Called Because of Rain)ArtistNorman RockwellYear1948MediumOil on canvasDimensions109 cm × 104 cm (43 in × 41 in)LocationNational Baseball Hall of Fame Tough Call – also known as Game Called Because of Rain, Bottom of the Sixth, or The Three Umpires – is a 1948 painting by American artist Norman Rockwell, painted for the April 23, 1949, cover of The Saturday Evening Post magazine.[1] The origina...

 

João de Castro

João de Castro João de Castro (Lisbona, 7 febbraio 1500 – Goa, 6 giugno 1548) è stato un esploratore portoghese, nonché viceré dell'India portoghese. Fu chiamato Castro Forte (Roccaforte) dal poeta Luís de Camões. Castro era il figlio di Álvaro de Castro, governatore civile di Lisbona. Sua moglie fu Leonor de Coutinho. Indice 1 Biografia 1.1 Gioventù 1.2 Viaggi in India e spedizione in Egitto 1.3 Vecchiaia 2 Il magnetismo terrestre in Roteiro de Lisboa a Goa 3 Note 4 Bibliografia 5...

 

Hatano Hideharu

Hatano Hideharu Hatano Hideharu[1] (波多野 秀治?; 1541 – 25 giugno 1579) è stato un daimyō giapponese del periodo Sengoku, ultimo capo del clan Hatano. Indice 1 Biografia 2 Note 3 Bibliografia 4 Collegamenti esterni Biografia Figlio di Hatano Harumichi fu adottato come un figlio da Hatano Motohide. Il clan Hatano era stato, a partire dal momento del nonno di Hideharu, Tanemichi, servitore del potente clan Miyoshi e del suo leader Miyoshi Nagayoshi. Seguendo la tradizione anch...

Tai chi

Chinese martial art This article is about the Chinese martial art. For the philosophical concept, see Taiji (philosophy). For other uses of tai chi, see Taiji. This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article provides insufficient context for those unfamiliar with the subject. Please help improve the article by providing more context for the reader. (April 2021) (Learn how and...

 

Heaven 17

English new wave and synth-pop band Heaven 17Heaven 17 performing live in Liverpool in July 2021Left to right: Martyn Ware (keyboards), Glenn Gregory (vocals)Background informationOriginSheffield, EnglandGenres Electropop new wave synth-pop electronic Years active1980–presentLabels EMI Virgin Sony BMG Members Glenn Gregory Martyn Ware Past membersIan Craig MarshWebsiteheaven17.com Heaven 17 are an English synth-pop band formed in Sheffield in 1980. The band were a trio for most of their car...

 

卡洛斯·梅内姆

此條目需要擴充。 (2015年11月27日)请協助改善这篇條目，更進一步的信息可能會在討論頁或扩充请求中找到。请在擴充條目後將此模板移除。 卡洛斯·梅内姆阿根廷總統府官方照片第47任阿根廷總統任期1989年7月8日—1999年12月10日副总统爱德华多·杜阿尔德卡洛斯·鲁考夫（英语：Carlos Ruckauf）前任劳尔·阿方辛 个人资料出生(1930-07-02)1930年7月2日 阿根廷拉里奥哈省阿尼利亚�...

Tugu Kujang

Tugu KujangTugu KujangInformasi umumLokasiBogor, IndonesiaAlamatJalan Raya Padjajaran, Jalan Otto Iskandar, Jalan BaranangsiangMulai dibangun14 Mei 1982Biaya80 jutaTinggi25 meterData teknisLuas lantai26 meter×23 meterDesain dan konstruksiArsitekArmenia Bangun Dialo Tugu Kujang adalah sebuah tugu yang merupakan ikon kota Bogor. Bentuknya menyerupai sebuah kujang, yakni senjata pusaka masyarakat Sunda. Tugu Kujang dibangun pada 4 Mei 1982 pada masa pemerintahan walikota Achmad Sobana dengan bi...

 

Trout River (Northwest Territories)

For other uses, see Trout River. This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Trout River Northwest Territories – news · newspapers · books · scholar · JSTOR (February 2020) (Learn how and when to remove this message) River in Northwest Territories, CanadaTrout RiverRapids on Trout River, from Mackenzie HighwayLocatio...

 

Таврійський державний агротехнологічний університет імені Дмитра Моторного

Таврійський державний агротехнологічний університет імені Дмитра МоторногоТДАТУ|рівень акредитації 46°50′46″ пн. ш. 35°22′23″ сх. д. / 46.84611112002777844° пн. ш. 35.37305557002777334° сх. д. / 46.84611112002777844; 35.37305557002777334Координати: 46°50′46″ пн. ш. 35°22′23″ сх....

Janko Prunk

Artikel ini perlu diwikifikasi agar memenuhi standar kualitas Wikipedia. Anda dapat memberikan bantuan berupa penambahan pranala dalam, atau dengan merapikan tata letak dari artikel ini. Untuk keterangan lebih lanjut, klik [tampil] di bagian kanan. Mengganti markah HTML dengan markah wiki bila dimungkinkan. Tambahkan pranala wiki. Bila dirasa perlu, buatlah pautan ke artikel wiki lainnya dengan cara menambahkan [[ dan ]] pada kata yang bersangkutan (lihat WP:LINK untuk keterangan lebih lanjut...

 

Ilī-ippašra

Babylonian governor Hugo Radau's line-art for a letter from Ilī-ippašra, named on the third line, to Enlil-kidinni, called Illiliya on the first line, the governor of Nippur.[i 1] Ilī-ippašra, inscribed DINGIRmeš-ip-pa-aš-ra, and meaning My god(s) became reconciled with me,[1] was a Babylonian who may have been adopted or apprenticed during the reign of Kassite king Kurigalzu I, ending c. 1375 BC, and rose to become an official, possibly the governor of Dilmun, during th...

 

Interlochen Public Radio

Radio station in Interlochen, MichiganInterlochen Public RadioInterlochen, MichiganBroadcast areaWIAA: Cadillac-Traverse CityWIAB: Mackinaw City-St. IgnaceProgrammingFormatPublic radioAffiliationsNPROwnershipOwnerInterlochen Center for the ArtsLinksWebsiteinterlochenpublicradio.org Interlochen Public Radio (IPR), established in 1963, is the National Public Radio member network for Northern Michigan. It broadcasts classical music and news on five stations in the northwestern Lower Peninsula. I...

Disney+

American video streaming service Disney+Logo used since 2024Screenshot Disney+ US homepage screenshot on March 27, 2024Type of siteOTT streaming platformHeadquartersLos Angeles, California, U.S.Country of originUnited StatesArea served Americas Europe Middle East and North Africa South Africa Parts of the Indo-Pacific (see full list of countries) OwnerThe Walt Disney CompanyPresidentAlisa BowenParentDisney StreamingURLdisneyplus.com RegistrationRequiredUsers 153.6 million (as of Mar...

 

Canadian National Railway

Canadian Class I freight railway company This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article is written like a personal reflection, personal essay, or argumentative essay that states a Wikipedia editor's personal feelings or presents an original argument about a topic. Please help improve it by rewriting it in an encyclopedic style. (December 2023) (Learn how and when to remove t...

 

Marxism and the Oppression of Women

1983 book by Lise Vogel Marxism and the Oppression of Women: Toward a Unitary Theory Cover of the first editionAuthorLise VogelLanguageEnglishSeriesHistorical Materialism Book SeriesSubjectMarxist feminismPublisherRutgers University PressPublication date1983Publication placeUnited StatesMedia typePrint (Hardcover and Paperback)Pages231 (1987 edition)266 (2014 edition)ISBN978-1-60846-340-4 Marxism and the Oppression of Women: Toward a Unitary Theory (1983; revised edition 2013) is a book ...

شمال لاس فيغاس

شمال لاس فيغاس   الاسم الرسمي (بالإنجليزية: North Las Vegas)‏    الإحداثيات 36°12′02″N 115°07′18″W / 36.200583333333°N 115.12158333333°W / 36.200583333333; -115.12158333333   [1] تاريخ التأسيس 1919  تقسيم إداري  البلد الولايات المتحدة[2][3]  التقسيم الأعلى مقاطعة كلارك  خصائص ج...

 

Alkohol gula

Eritritol adalah alkohol gula. Rasanya 60-70% semanis gula, tetapi mengandung kalori yang jauh lebih sedikit ketika dikonsumsi. Alkohol gula (disebut juga alkohol polihidrik, polialkohol, alditol atau glikol) adalah senyawa organik, biasanya diturunkan dari gula, yang mengandung satu kelompok hidroksil (–OH) dan terikat pada setiap atom karbon. Bentuknya berwarna putih, berupa padatan yang larut dalam air, dapat terjadi secara alami atau diproduksi oleh industri dengan cara hidrogenasi gula...