TM Caffè: Github Copilot

TopMonks Caffé 5. 3. 2024
Zkušenosti s Github Copilot v IDE.

Transcript

1. TOPMONKS GITHUB COPILOT Jirka Jansa TopMonks Caffè, 2024
2. • 17 YEARS HANDS-ON CODING ACROSS WIDE VARIETY OF SECTORS, STARTUPS AND TECHNOLOGIES. • TEAM MENTORING FOR PEAK PERFORMANCE, PROCESS TUNING FOR EFFICIENCY. • AVAILABLE WITH A FULLY-EQUIPPED TEAM FOR YOUR MOST DEMANDING PROJECTS. • ADVOCATING FOR SMOOTH DEVELOPER EXPERIENCES. • SPEAKING ABOUT SOFTWARE OCCASIONALLY. JIRKA JANSA jirka.jansa@topmonks.com T: +420 777 642 895 LET’S DISCUSS SOFTWARE TOGETHER.
3. GITHUB COPILOT
4. TECHNICKÉ SPECIFIKACE • OpenAI Codex (~GPT-3) • 12 mld. parametrů • kontext ~2000 tokenů (14 kB Python kódu[1]) • trénovaný na veřejném GitHub kódu ◦ stovky petaflop/dnů výpočtů (~~100 MWh) v Azure[2] ◦ původně 54 mil. repositories, 159 GB Python kódu, 100 mld. tokenů[2] • úspěšnost 28,7 % řešení (77,5 % při 100 pokusech)[3] v HumanEval[4] ◦ TabNine (free) 2,6 % (7,6 % při 100 pokusech)[3] [1] OpenAI Codex Blog (https://openai.com/blog/openai-codex) 2024-03-01 [2] OpenAI, Evaluating Large Language Models Trained on Code. (https://arxiv.org/pdf/2107.03374.pdf) 2021-07-14 [3] OpenAI Announces 12 Billion Parameter Code-Generation AI Codex (https://www.infoq.com/news/2021/08/openai-codex/) 2021-08-31 [4] HumanEval (https://github.com/openai/human-eval) 2024-03-01
5. COPILOT JAKO ASISTENT • ví, kde je kurzor • ví, co je okolo kurzoru • ví o datových typech • mistr v pattern matching • neplýtváte časem na opičárnách
6. COPILOT JAKO ASISTENT
7. COPILOT JAKO ASISTENT
8. COPILOT JAKO CODE REVIEWER • relativně dobrý insight • dobrý na malé commity • nezná (zatím) kontext celé codebase • výtky jsou časem na jedno brdo ◦ musíte se dobře zeptat
9. COPILOT JAKO CODE REVIEWER
10. COPILOT JAKO PARŤÁK NA BRAINSTORMING • nečekejte geniálně inovativní řešení, ale to vaše zvládne zhodnotit ◦ na obecnou exploraci je lepší ChatGPT Plus s dobrou otázkou • snadno poskytne, vysvětlí varianty (stream vs loop etc.) • nemá vyhraněný názor (pokud nechcete)
11. COPILOT JAKO PARŤÁK NA BRAINSTORMING
12. COPILOT JAKO VŠEZNÁLEK • Copilot Chat beží nad GPT-4 od listopadu 2023 • rozsáhlé vědomosti na dosah ruky • dokáže uvést do technologie/API • predikuje na základě dokumentace (pokud ji zná)
13. COPILOT JAKO VŠEZNÁLEK
14. COPILOT JAKO VŠEZNÁLEK
15. COPILOT JAKO VŠEZNÁLEK
16. COPILOT JAKO SPISOVATEL DOKUMENTACE • ultimátní angličtina i vyjadřovací schopnosti • silný v jsdoc, javadoc, … • mermaid diagramy • možné generovat commit message ◦ záleží na IDE, někde nutné dát ručně diff • citelně chybí kontext celé codebase ◦ dobře popíše i skupinu souborů, ale vy je musíte vybrat ⇒ limit • nutné vést, aby nepsal blbosti ◦ to je třeba i v ChatGPT Plus, i když je lepší
17. COPILOT JAKO SPISOVATEL DOKUMENTACE
18. COPILOT JAKO SPISOVATEL DOKUMENTACE
19. COPILOT JAKO SPISOVATEL DOKUMENTACE
20. DŮVĚŘUJ, ALE PROVĚŘUJ nepoužívejte kód, který sami nechápete
21. MUSÍŠ SE DOBŘE ZEPTAT specifický comment/dotaz, uveď příklad výstupu
22. UKLÍZEJ Copilot komentuje co nemusí, svoje prompty taky vyhoď
23. NÁVYKOVÝ COPILOT některé tasky tě přestanou bavit bez suggestion, zlenivíš
24. BUDOUCNOST COPILOTA • analýza a sumarizace Pull Requestů • plný kontext kódu napříč organizací • Copilot Workspace ◦ automatické návrhy u issues https://githubnext.com/ • Next Edit Suggestions ◦ zohlednění historie úprav • Copilot Radar ◦ zobrazení kontextu k aktuálnímu kurzoru
27. HOW WE DEVELOPED OUR EXPERTISE LOGISTICS / RETAIL/ AUTOMOTIVE / ENGINEERING / ELECTRONICS / INFORMATION TECHNOLOGY / FOOD AND BEVERAGE / CHEMICAL / DISTRIBUTION, WHOLESALE 9 YEARS. 30 CLIENTS. THE SAME CORE TEAM OF 10 EXPERTS. ALTHOUGH, IN TOPMONKS WE CAN DO EVEN MORE: STARTUP STUDIO WEB SCRAPING PLUGINS DEVELOPMENT DATA SCIENCE PRICING PROJECTS IMPLEMENTATION & CONSULTANCY TECHNICAL TEAM LEASE REMOTE & ON SITE
28. WHAT WILL YOU LIKE ABOUT US THE MOST? • WE ARE A NICE, FUN, HARDWORKING TEAM THAT HAS BEEN WORKING TOGETHER FOR AGES. • WE SOLVE ANY ISSUE. EFFECTIVELY. TIMELY. • WE COMMUNICATE THE WAY YOU EXPECT FROM US – CLEARLY, REALISTICALLY AND WITH OUR FULL ATTENTION. • WE HAVE A PROFESSIONAL APPROACH. YET, WE ARE NOT STIFF. • WE ARE OPEN-MINDED AND PROGRESSIVE. ANNA VAN DER WEERDEN - COO anna@topmonks.com T: +420 778 019 838 AND WE ARE HAPPY TO GRAB A CUP OF COFFEE WITH YOU IN PERSON.
29. Company name: TopMonks, s.r.o. Registered seat: Struhařovská 2931/9, 141 00, Prague, Czech Republic Established: 13.5.2011 Registered agent: Ing. Jiří Fabián Identification no.: 24847437 VAT no.: CZ24847437 OUR MONASTERIES: PRAGUE SAN FRANCISCO WE ARE READY TO VISIT YOU AND WE WILL ANYWHERE. CONTACT DETAILS