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
See:
education.github.com
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