[mon avis] Lean-lang (lean4) vaut le détour, c’est un langage de programmation sympa (fluide, concis, élégant, puissant, etc.), mais surtout, […]
Suite à la promotion de ma collègue (ce qui l’exclue des membres du collège B de la CFVU) : je
Aujourd’hui, 3/4 de siècle après les pionniers, les étudiants d’info (miage) peuvent aussi dessiner (vraiment) un circuit d’ordinateur ! Suite
En réfléchissant à un sujet d’examen pour mes étudiants (en architecture des ordinateurs) je suis tombé sur cet algorithme qui
Cette année, Caseine fêtait ses 10 ans, l’occasion de présenter les diverses intégrations logicielles que j’ai pu faire pour Moodle