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
Utiliser le DOM pour générer un sommaire en PHP Comment générer un sommaire à partir d'un bout de HTML en PHP ? En utilisant le DOM, pardi ! php html algorithme
Les conventions générateur et récepteur en électronique ou comment ne plus s'embrouiller avec les signes électronique
Introduction à la visualisation de graphes avec VisNetwork Création de graphes personnalisables et interactifs en javascript javascript graphes vis.js
Déployer une application Django en production Déployer une application Django en production django python web
Arduino : premiers pas en informatique embarquée Venez découvrir le monde fabuleux du bricolage électronique et informatique en toute simplicité arduino diy électronique
Sortie de Python 3.9 Tour d'horizon de la dernière version du célèbre langage de programmation python
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
Votre appareil photo vous ment ! (mais le contraire serait bien embêtant) Des photos à l'image finale : l’odyssée de la création d'une photographie numérique image photographie
Améliorer son score SEO avec VueJS + NuxtJS Quelques trucs et astuces pour améliorer son positionnement dans les moteurs de recherche javascript seo/réferencement vue.js
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
Retour d'expérience sur le premier atelier Zeste de Code Compte-rendu du coding goûter du 24 octobre 2018 à Orsay événement meet and code zeste de code
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