Le logiciel Why3 trouve vos erreurs

— Le 30 avril 2021
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.

À lire aussi dans TheMetaNews

(Re)Synchronisez votre biblio

Votre bibliothèque à la plage (ou à la montagne). L’été n’est-il pas le moment parfait pour faire un peu de tri dans sa biblio et pourquoi pas perfectionner ses outils ? Mettons que vous utilisiez Zotero et son service de synchronisation entre appareils : il permet...

Extraire les données d’une courbe

Simple comme bonjour. On se demande comment on a pu passer à côté pendant tout ce temps. Vous avez une courbe sous les yeux et souhaitez en extraire les données – par exemple pour essayer de répliquer les résultats d’une équipe concurrente ? Voici Plot Digitizer, dont...

Liez vos données sur HAL

Créer du lien. Convaincu·e par l’utilité de partager vos données suite à notre analyse du jour ? Liez votre manuscrit déposé sur HAL et les données associées ! Pour ce faire, déposez-les sur un entrepôt attribuant un DOI, puis ajoutez l’identifiant du jeu de données...