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
Faire un bot Discord simple avec les webhooks Un petit bot sans bibliothèque et sans se prendre la tête ! python discord
L'internationalisation et ses pièges : créer un logiciel universel Comment rendre votre logiciel accessible à d'autres langues et cultures traduction i18n internationalisation
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
Utiliser un gestionnaire de mot de passe quand on y connaît pas grand-chose en informatique sécurité mot de passe débutant
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
Le RGPD : nouveau droit de la protection des données personnelles Applicable à partir du 25 mai 2018 dans toute l'Union Européenne informatique droit internet
Unity 2018.1 est disponible Découvrez les fonctionnalités qu'apporte cette nouvelle version ! unity graphisme 3d
Ne loupez plus une publication : utilisez les flux RSS ! La syndication de contenu contre les algorithmes des réseaux sociaux rss web
Le renseignement français et la loi du 24 juillet 2015 Survolons ensemble le renseignement français et son organisation suite à la loi Renseignement droit renseignement
KRACK : attaques contre les communications Wi-Fi Une vulnérabilité de taille dans le protocole WPA2 sécurité wifi cryptologie
Les fonctions de hachage cryptographiques Tout le monde en utilise, mais personne ne sait comment c'est fait mathématiques cryptologie
La cryptanalyse (méthodes antiques) Comment a-t-on cassé les premières méthodes de chiffrage mathématiques algorithmique programmation
Un peu de Machine Learning avec les SVM Découvrez les SVM, ces outils classiques de Machine Learning ! algorithmique intelligence artificielle
Comprendre OAuth 2.0 par l'exemple Comprendre le framework OAuth 2.0 et les roles et mécanismes en jeu durant le processus d'autorisation sécurité api api rest
Quand la calculatrice nous trompe Calcul numérique et perte de précision mathématiques algorithmique calcul numérique
Créez une API REST avec Symfony 3 Tout au long de ce cours, nous allons apprendre à mettre en œuvre les principes de REST pour concevoir et développer une API web avec Symfony 3. php rest symfony
Interview : Rencontre avec des étudiants contributeurs Quand la contribution au projet technique de Zeste de Savoir devient un projet scolaire interview logiciel libre
Introduction au protocole WAMP Pour des applications découplées communiquant en temps réel protocole websocket
Paginer avec PHP et SQL Afin de ne plus submerger d'informations les utilisateurs, et accélérer le chargement de vos pages php mysql base de données
[Git] Créer un nouveau dépôt à partir d’un dossier d’un autre dépôt Créer un nouveau dépôt tout en conservant son historique filtré de commit, c'est possible ! git versioning
La théorie REST, RESTful et HATEOAS Comment structurer une API de façon propre et efficace rest api web services
La cryptographie asymétrique avec RSA Chiffrer ses données avec RSA sécurité cryptographie cryptologie
C'est toute une histoire : le stockage Dans ce premier article de la série "C'est toute une histoire", nous allons aujourd'hui parler de l’évolution des moyens de stockage histoire c'est toute une histoire