Afleveringen
-
Für die erste Episode haben Tobi und Tobi sich GitHub Copilot als Thema ausgesucht. Beide haben im letzten Jahr diverse Workshops und Hackathons zum Thema geliefert und auch international Entwickler im Umgang mit GitHub Copilot geschult. Daher ist das perfekte Thema und diesen Podcast zu starten.
Darüber wurde gesprochen:
(00:26) Was ist GitHub Copilot und wie kann man es nutzen?
(01:49) Unterstützte IDEs, Inline Completion, Copilot Chat
(07:43) Was ist der Context?
(09:13) Prompt Engineering als Zukunftsdisziplin und warum das für uns alle wichtig wird
(21:26) Slash-Commands, Hash-Tags und Agents um den Context anzureichern
(25:12) Was ist neu bei GitHub Copilot?
(30:03) Wie man Agents baut!
(32:51) Lessons Learned / Unsere wichtigsten Hinweise zu GitHub Copilot
Links aus unsere Episode:
Life of a Completion:
https://github.blog/ai-and-ml/github-copilot/how-github-copilot-is-getting-better-at-understanding-your-code/Prompt Engineering:
https://docs.github.com/en/copilot/using-github-copilot/prompt-engineering-for-github-copilotTokenizer:
https://platform.openai.com/tokenizer?viewPrompt Examples:
https://docs.github.com/en/copilot/example-prompts-for-github-copilot-chatMehrere Modelle, Unterschiede, Reasoning:
https://github.blog/news-insights/product-news/try-out-openai-o1-in-github-copilot-and-models/Multi-File-Edits:
https://github.blog/changelog/2024-10-29-multi-file-editing-code-review-custom-instructions-and-more-for-github-copilot-in-vs-code-october-release-v0-22/Copilot Extension:
https://docs.github.com/en/copilot/building-copilot-extensions/about-building-copilot-extensionsFeedback Loop:
Hast du Bugs, die wir fixen sollen, oder Themen-Ideen, die wir deployen können? Schick uns eine Pull-Request per Mail: [email protected] -
Hallo und herzlich willkommen zu unserem allerersten Podcast: TobiHochZwei! 🎉
Wir sind Tobi und Tobi, und wir freuen uns riesig, dass ihr mit dabei seid.
In dieser allerersten Episode möchten wir euch erzählen, wer wir sind, warum wir diesen Podcast gestartet haben und was euch hier so erwartet.
Darüber wurde gesprochen:
(00:30) Warum Podcast?
Feedback Loop:
Hast du Bugs, die wir fixen sollen, oder Themen-Ideen, die wir deployen können? Schick uns eine Pull-Request per Mail: [email protected] -
Zijn er afleveringen die ontbreken?
