• Episode #001 - GitHub Copilot
    Dec 13 2024

    #001 - Let's get this party started ... with GitHub Copilot

    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

    Wir hoffen dir hat diese Premiere gefallen.

    // Shownotes

    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/

    Promt Enfineering;

    https://docs.github.com/en/copilot/using-github-copilot/prompt-engineering-for-github-copilot

    Tokenizer:

    https://platform.openai.com/tokenizer?view

    Prompt Examples:

    https://docs.github.com/en/copilot/example-prompts-for-github-copilot-chat

    Mehrere 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-extensions

    // Feedback Loop:

    Hast du Bugs, die wir fixen sollen, oder Themen-Ideen, die wir deployen können? Schick uns eine Pull-Request per Mail: feedback@tobihochzwei.de

    Show More Show Less
    35 mins
  • Episode #000 - Intro
    Dec 13 2024

    #000 - Intro, Motivation

    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: feedback@tobihochzwei.de

    Show More Show Less
    3 mins