Ressources pour le développement

Quelques ressources pour le développement d'applications scientifiques.

On Code Reviews

par TailorDev (web / Twitter). Quelques conseils sur la manière de faire des reviews de code avant un pull request sur GitHub : être positive, constructif, bienveillant et factuel ; se concentrer sur les aspects les plus importants ; le faire régulièrement et par …

more ...


Cours interactif avec DirectPoll

Je trouve intéressant le concept du Bring Your On Device (BYOD), c'est-à-dire que les étudiants utilisent leur propre matériel (smartphones, tablettes, PC portables) dans leur apprentissage en amphi ou en TD.

Pour rendre un peu plus interactif un cours d'amphi de L1, je voulais que les étudiants utilisent les smartphones …

more ...

Git et GitHub

Git et un GitHub sont deux supers outils pour le travail collaboratif, que ce soit pour de la programmation ou d'autres projets.

Git est un gestionnaire de version, qui va garder une mémoire, un historique, des modifications d'un ou plusieurs fichiers.

GitHub est un site web qui rend l'utilisation de …

more ...