Welcome to the Programming Cafe!

Plan for today

Welcome 10 min
Polars: fast DataFrames in Python 20 min
Exercises or Work on your own code 30 min
Copilot: Your AI pair programmer 20 min
Exercises or Work on your own code 30 min
Wrap-up 10 min
Drinks!

Programming Cafe

  • Previously the R-Cafe
  • An informal, community event
  • Work on your own code
  • Themes with presentations and exercises
  • Interaction

Resources

https://github.com/UtrechtUniversity/programming-cafe

GitHub Copilot

GitHub Copilot

  • “Copilot”
  • Your AI pair programmer
  • Autocomplete for coding



github.com/features/copilot

GitHub Copilot

  • OpenAI Codex model
  • Modified version of GPT-3
  • Trained on text and gigabytes of source code
  • e.g. public GitHub repositories
  • supports multiple human languages
  • works for most programming languages

How to get started?

  • Expensive, but free for educational institutions
  • Extensions for:
    • Visual Studio
    • VS Code
    • Pycharm
    • Neovim

Demo time!

Wrap up

  • small simple tasks
  • meaningful function names
  • documentation writing
  • copilot != autopilot

Wrap up

  • security
  • ownership
  • “GitHub does not own the suggestions GitHub Copilot provides to you.”
  • about 1% of the time, a suggestion may contain some code snippets longer than ~150 characters that matches the training set
  • additional filter