Écrire des programmes prouvés corrects avec Coq Garantir mathématiquement le respect d'une spécification programmation coq méthodes formelles
Reconnaissance de chiffres manuscrits Une méthode simple pour reconnaitre des chiffres manuscrits avec OpenCV python opencv reconnaissance de chiffre
Sortie de Python 3.9 Tour d'horizon de la dernière version du célèbre langage de programmation python
Introduction à la preuve de programmes C avec Frama-C et son greffon WP Introduction à la spécification et la preuve de programmes C, par l'usage de Frama-C, du langage ACSL et son greffon WP. Quelques rudiments théoriques sont donnés. c méthodes formelles preuve déductive
Les expressions régulières Un tutoriel pour comprendre les bases des expressions régulières regex expression régulière
S'habiller dans le bon ordre grâce aux mathématiques Relations d'ordre, graphes et tris topologiques mathématiques algorithmique
Un zeste de mathématiques assistées par ordinateur Quand la machine vient en support du mathématicien mathématiques coq méthodes formelles
MicroPython : Python pour les microcontrôleurs Une implémentation de Python pour l'embarqué python diy
Variables, scopes et closures en Python Comprendre leur fonctionnement et en éviter les pièges python
Faire un bot Discord simple avec les webhooks Un petit bot sans bibliothèque et sans se prendre la tête ! python discord
Les personnages clés de l'informatique : la naissance d'UNIX Biographies de Ken Thompson, Dennis Ritchie, Brian Kernighan et Rob Pike informatique c ordinateur
La compilation « Just In Time » : un exemple et des conséquences Juste à temps ! Quand ce qui devrait aller plus vite, va moins vite. java compilation optimisation
L'internationalisation et ses pièges : créer un logiciel universel Comment rendre votre logiciel accessible à d'autres langues et cultures traduction i18n internationalisation
Introduction à l'I/O complexité Brève introduction à l'I/O complexité, principalement axée sur le modèle de calcul « EM » et avec une rapide vision sur la notion d'obliviousness algorithmique
Attention aux optimisations de Clang ! Quand le compilateur optimise trop compilation optimisation clang
Introduction à l'arithmétique flottante Comprendre et limiter les erreurs inhérentes au calcul numérique mathématiques calcul numérique
Utiliser Python dans Autodesk Maya Tutoriel visant à apprendre à utiliser Python dans le logiciel d’animation Maya python maya graphisme 3d
La vérité sur les tableaux et pointeurs en C Explications détaillées sur les tableaux et pointeurs en C. tableau c pointeur
La version 1.29 de Rust est désormais disponible ! Premier jet de l'auto-correction des lints et potentielle compatibilité avec Clippy documentation rust rustdoc
La version stable de Rust 1.28 est désormais disponible ! Allocateur(s) et optimisation de la mémoire mémoire erreur rust
Participez à un atelier de programmation ZdS ! A l'occasion de la semaine européenne du code, en octobre code zds informatique
Arduino : les secrets de l’analogique Comparaison rapide, ADC et référence externe : c’est ici arduino analogique
Naviguer (presque) sans GPS grâce à la navigation inertielle Principe de fonctionnement de la navigation inertielle mathématiques physique calcul numérique
Unity 2018.1 est disponible Découvrez les fonctionnalités qu'apporte cette nouvelle version ! unity graphisme 3d
Ne pas confondre faille par injection SQL et faille XSS De la bonne utilisation des fonctions pour chaque type de faille en PHP formulaire php sql
Mais pourquoi ça bug ? Itinéraire d'une erreur de programmation gestion de projet programmation tests
Introduction au traitement d'image Introduction aux techniques courantes du traitement d'image algorithmique traitement d'images
