Skip to content

Instantly share code, notes, and snippets.

@lmorillas
Last active September 8, 2023 16:53
Show Gist options
  • Save lmorillas/9b3ab4c39a6d31ccc6c446b65cfe8f17 to your computer and use it in GitHub Desktop.
Save lmorillas/9b3ab4c39a6d31ccc6c446b65cfe8f17 to your computer and use it in GitHub Desktop.

Herramientas de Github para la enseñanza

¿Qué es copilot?

Copilot es un asistente de programación que utiliza inteligencia artificial para ayudarte a escribir código. Copilot funciona con tu editor de código favorito, incluidos VS Code, Atom y más.

Copilot se basa en Codex, un modelo de lenguaje de inteligencia artificial creado por OpenAI. Codex se entrena en una gran cantidad de código público y privado, incluidos comentarios de GitHub, por lo que es capaz de sugerir líneas de código con un contexto significativo.

Ventajas para enseñar a programar

Copilot puede ayudar a los estudiantes a aprender a programar de varias maneras:

  1. Copilot puede ayudar a los estudiantes a escribir código más rápido, lo que les permite concentrarse en la lógica de programación en lugar de en la sintaxis.
  2. Al sugerirles código que pueden usar como punto de partida, pueden llegar a soluciones más complejas
  3. Funciona como una programación en parejas, lo que genera buenas prácticas de programación. El estudiante puede ir decidiendo qué código usar y qué no, y por qué.
  4. No todo el código que genera es correcto. Esto puede ser una ventaja, ya que los estudiantes pueden aprender a identificar errores de sintaxis y lógica.
  5. Copilot puede sugerir código que los estudiantes no conocen, lo que les permite aprender nuevas funciones y métodos.

Desventajas

  1. Copilot no es perfecto. A veces genera código incorrecto, y los estudiantes deben aprender a identificarlo.

Qué es el GitHub Student Developer Pack

https://education.github.com/pack

El GitHub Student Developer Pack es un paquete de herramientas y recursos gratuitos para estudiantes que les ayuda a aprender a programar, desarrollar sus habilidades y construir proyectos. El paquete incluye acceso a los mejores recursos de desarrollo de GitHub y socios como Amazon Web Services, Namecheap, JetBrains, DigitalOcean, Stripe, SendGrid, Twilio y más.

Beneficios

https://education.github.com/benefits

Listado de productos que obtienen como estudiantes: https://education.github.com/pack

Participar como student les da acceso gratuito a copilot y a los Codespaces de GitHub.

Qué son los Codespaces de GitHub?

Github codespaces permite a los desarrolladores configurar un entorno virtual para lanzar la aplicación que están desarrollando https://github.com/features/codespaces De esta manera, no necesitan instalar nada en su ordenador, y pueden acceder a su entorno de desarrollo desde cualquier ordenador con conexión a internet. Y no se generar errores de instalación de los programas.

Cómo obtener el GitHub Student Developer Pack

El estudiante solicita participar en https://education.github.com/discount_requests/application . Para ello, debe tener una cuenta de GitHub y verificar que es estudiante. Para verificar que es estudiante, puede usar su correo institucional o subir una foto de su credencial de estudiante.

Cómo obtener copilot

Una vez que el estudiante tiene acceso al GitHub Student Developer Pack, puede acceder a copilot en https://copilot.github.com/ . Para ello, debe iniciar sesión con su cuenta de GitHub.

Cómo usar copilot

Copilot funciona como una extensión de VS Code. Para usarlo, el estudiante debe instalar la extensión en VS Code. Una vez instalada, puede usarla en cualquier proyecto de VS Code.

¿Y los profesores?

Los profesores también pueden participar en Education GitHub. Para ello, deben tener una cuenta de GitHub y verificar que son profesores. Para verificar que son profesores, pueden usar su correo institucional o subir una foto de su credencial de profesor.

Y obtienen los mismos beneficios que los estudiantes y además tienen acceso a GitHub Classroom.

Qué es GitHub Classroom

GitHub Classroom es una herramienta que ayuda a los profesores a crear y gestionar tareas y proyectos para sus estudiantes. Los profesores pueden crear una tarea, crear un repositorio para cada estudiante, y asignar la tarea a los estudiantes. Github Classroom genera repositorios para cada alumnos añadiendo al profesor como administrador del repositorio. De esta forma, el profesor puede ver el código de cada alumno y hacer comentarios. Además, los alumnos pueden hacer pull requests para que el profesor revise su código. Los proyectos pueden ser indivuales o en grupo.

Esta forma de gestionar los proyectos ayuda mucho en el seguiento de tareas de programación de los alumnos y les enseña a usar herramientas de desarrollo colaborativo que van a tener que usar en la empresa.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment