Development containers, often known as dev containers, are containers that are designed to offer a fully featured development environment. You can set the dev container for a repository so that GitHub Codespaces created for that repository provide a customized development environment with all the required tools and runtimes for a particular project. Join GitHub Education PM Juan Pablo Flores Cortés as he speaks with Noah Gift, Founder of Pragmatic AI Labs, about the benefits of using GitHub Codespaces to provide a better learning experience for students, and Alfredo Deza and Sara Gibbons, Sr. Academic Cloud Advocates at Microsoft, about the availability of templates, videos, and step-by-step resources to get you started running, testing, debugging, and pushing code using this instant cloud developer environment.
SPEAKERS
Juan Pablo Flores Cortés - https://twitter.com/juanpflores_
Noah Gift - https://www.linkedin.com/in/noahgift/
Alfedo Deza – https://twitter.com/alfredodeza
Sara Gibbons – https://twitter.com/saragibby
RESOURCES
GitHub Codespaces Student Developer Pack Primer
What is GitHub Codespaces
Intro to GitHub Codespaces
CHAPTERS
00:00 – Title - How to use GitHub Codespaces to Improve Student Learning
00:07 – Intro with Juan Pablo Flores Cortés
02:03 - Benefits of using GitHub Codespaces with Noah Gift
17:00 – How to use the GitHub Codespaces Python template with Alfredo Deza
27:35 - How to use the GitHub Codespaces JavaScript template with Sara Gibbons
35:06 – Best practices in harnessing GitHub Codespaces to improve Student Learning
Microsoft
