| Vérifier vos programmes… grâce à un programme ! Si vous codez, vous savez qu’il existe des tonnes de logiciels de vérification. Why3 est l’un d’entre eux, sauf qu’il a été développé par des chercheurs français ! Il vient de fêter ses 10 ans et sa particularité est d’allier un assistant automatique avec un second plus manuel pour les parties de code les plus complexes. Vous pouvez même l’essayer dans votre navigateur. |
Vos données : ouvertes ou fermées ?
Qu’on me couvre DoR. Les incitations à mettre vos données en accès ouvert sont nombreuses… mais en avez-vous le droit ? Recherche Data Gouv, le Centre de Ressources DoRANum et la Direction pour la Science Ouverte d’Inrae vous proposent un court document pour vérifier...