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. dans Programmation et algorithmique et Autres (informatique) Lundi 30 mars 2020 à 10h07 30/03/20 à 10h07 par Ksass`Peuk c méthodes formelles preuve déductive
AdaCore Tech Day 2019 Quoi de neuf chez AdaCore ? dans Programmation et algorithmique et Autres (informatique) Dimanche 17 novembre 2019 à 23h09 17/11/19 à 23h09 par Heziode 8 compilation gcc ada
Les réseaux de zéro dans Autres (informatique) Vendredi 13 septembre 2019 à 08h18 13/09/19 à 08h18 par Vince réseaux
Faire un bot Discord simple avec les webhooks Un petit bot sans bibliothèque et sans se prendre la tête ! dans Programmation et algorithmique , Développement Web et Autres (informatique) Samedi 08 juin 2019 à 13h29 08/06/19 à 13h29 par Eskimon python discord
L'internationalisation et ses pièges : créer un logiciel universel Comment rendre votre logiciel accessible à d'autres langues et cultures dans Programmation et algorithmique , Développement Web , Autres (informatique) et Langues Jeudi 28 février 2019 à 11h10 28/02/19 à 11h10 par SpaceFox 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 dans Autres (informatique) et Zeste de Savoir Mercredi 20 février 2019 à 14h42 20/02/19 à 14h42 par Situphen, TAlone, Bibou et Amaury 15 événement meet and code zeste de code
Introduction aux systèmes distribués Implémentons une salade de fruits répartie dans Programmation et algorithmique et Autres (informatique) Vendredi 07 décembre 2018 à 21h21 07/12/18 à 21h21 par Vayel systèmes distribués
Les bizarreries du langage C dans Programmation et algorithmique et Autres (informatique) Samedi 17 novembre 2018 à 11h15 17/11/18 à 11h15 par ache 6 c
Utiliser un gestionnaire de mot de passe quand on y connaît pas grand-chose en informatique dans Autres (informatique) Vendredi 16 novembre 2018 à 20h42 16/11/18 à 20h42 par Eskimon 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 dans Programmation et algorithmique et Autres (informatique) Vendredi 05 octobre 2018 à 22h21 05/10/18 à 22h21 par Songbird 0 documentation rust rustdoc
La version stable de Rust 1.28 est désormais disponible ! Allocateur(s) et optimisation de la mémoire dans Programmation et algorithmique et Autres (informatique) Lundi 20 août 2018 à 10h28 20/08/18 à 10h28 par Songbird 8 mémoire erreur rust
Participez à un atelier de programmation ZdS ! A l'occasion de la semaine européenne du code, en octobre dans Programmation et algorithmique , Développement Web , Autres (informatique) et Zeste de Savoir Jeudi 26 juillet 2018 à 19h55 26/07/18 à 19h55 par Dwayn 1 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 dans Autres (informatique) et Droit Vendredi 25 mai 2018 à 07h38 25/05/18 à 07h38 par TAlone informatique droit internet
Unity 2018.1 est disponible Découvrez les fonctionnalités qu'apporte cette nouvelle version ! dans Programmation et algorithmique , Autres (informatique) et Arts, graphisme et multimédia Lundi 07 mai 2018 à 11h48 07/05/18 à 11h48 par Glordim 6 unity graphisme 3d
Ne loupez plus une publication : utilisez les flux RSS ! La syndication de contenu contre les algorithmes des réseaux sociaux dans Autres (informatique) et Communication et management Mercredi 21 mars 2018 à 21h50 21/03/18 à 21h50 par SpaceFox et viki53 20 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 dans Autres (informatique) et Droit Samedi 06 janvier 2018 à 18h31 06/01/18 à 18h31 par TAlone 2 droit renseignement
KRACK : attaques contre les communications Wi-Fi Une vulnérabilité de taille dans le protocole WPA2 dans Autres (informatique) Jeudi 07 décembre 2017 à 20h32 07/12/17 à 20h32 par Vayel 7 sécurité wifi cryptologie
Les fonctions de hachage cryptographiques Tout le monde en utilise, mais personne ne sait comment c'est fait dans Autres (informatique) et Mathématiques Mercredi 25 octobre 2017 à 21h21 25/10/17 à 21h21 par Ryx mathématiques cryptologie
La compression JPEG À la découverte de la compression JPEG dans Autres (informatique) et Arts, graphisme et multimédia Lundi 09 octobre 2017 à 09h46 09/10/17 à 09h46 par Anto59290 8 algorithmique traitement d'images
La cryptanalyse (méthodes antiques) Comment a-t-on cassé les premières méthodes de chiffrage dans Autres (informatique) et Mathématiques Mercredi 21 juin 2017 à 16h56 21/06/17 à 16h56 par Ryx mathématiques algorithmique programmation
La représentation intervallaire Gestion d'arbre en SQL dans Autres (informatique) Mercredi 14 juin 2017 à 20h06 14/06/17 à 20h06 par Talus sql base de données
Un peu de Machine Learning avec les SVM Découvrez les SVM, ces outils classiques de Machine Learning ! dans Programmation et algorithmique et Autres (informatique) Mercredi 12 avril 2017 à 13h52 12/04/17 à 13h52 par melepe algorithmique intelligence artificielle
Les macros google spreadsheet dans Bureautique et rédaction et Autres (informatique) Mercredi 29 mars 2017 à 13h18 29/03/17 à 13h18 par artragis javascript automatisation tableur
Doctrine 2 : À l'assaut de l'ORM phare de PHP Gérer ses données avec classe dans Programmation et algorithmique , Développement Web et Autres (informatique) Dimanche 26 mars 2017 à 13h14 26/03/17 à 13h14 par BestCoder php doctrine2 orm
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 dans Développement Web et Autres (informatique) Lundi 30 janvier 2017 à 07h21 30/01/17 à 07h21 par BestCoder 14 sécurité api api rest
Quand la calculatrice nous trompe Calcul numérique et perte de précision dans Programmation et algorithmique , Autres (informatique) et Mathématiques Samedi 10 septembre 2016 à 12h31 10/09/16 à 12h31 par Aabu 11 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. dans Développement Web et Autres (informatique) Mardi 06 septembre 2016 à 10h56 06/09/16 à 10h56 par BestCoder php rest symfony
Interview : Rencontre avec des étudiants contributeurs Quand la contribution au projet technique de Zeste de Savoir devient un projet scolaire dans Programmation et algorithmique et Autres (informatique) Vendredi 13 mai 2016 à 09h14 13/05/16 à 09h14 par Andr0, Arius, orandin, Wyzko, Aire Ayquaza et galadac 15 interview logiciel libre
Comprendre les encodages ASCII, latin-1, Unicode, UTF-8… quésaco ? dans Développement Web et Autres (informatique) Vendredi 13 mai 2016 à 09h14 13/05/16 à 09h14 par Maëlan encodages unicode
Hommage à Ray Tomlinson, l'inventeur du courriel Retour sur l'histoire du mail ! dans Autres (informatique) et Histoire Vendredi 11 mars 2016 à 11h03 11/03/16 à 11h03 par artragis 11 histoire tcp-ip
Les injections SQL Explications et prévention sur les injections SQL dans Développement Web et Autres (informatique) Dimanche 08 novembre 2015 à 12h37 08/11/15 à 12h37 par Que20 38 sécurité base de données
Introduction au protocole WAMP Pour des applications découplées communiquant en temps réel dans Développement Web et Autres (informatique) Samedi 07 novembre 2015 à 14h46 07/11/15 à 14h46 par Vayel protocole websocket
Paginer avec PHP et MySQL Afin de ne plus submerger d'informations les utilisateurs, et accélérer le chargement de vos pages dans Programmation et algorithmique , Développement Web et Autres (informatique) Vendredi 19 juin 2015 à 15h14 19/06/15 à 15h14 par Ymox 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 ! dans Autres (informatique) Mardi 03 mars 2015 à 12h57 03/03/15 à 12h57 par Lyyn git versioning
Petit guide de SQL*Plus dans Autres (informatique) Jeudi 19 février 2015 à 10h19 19/02/15 à 10h19 par ShigeruM oracle
La théorie REST, RESTful et HATEOAS Comment structurer une API de façon propre et efficace dans Autres (informatique) Mardi 16 décembre 2014 à 11h15 16/12/14 à 11h15 par YoruNoHikage rest api web services
Refaire l'histoire avec git Utilisation avancée de git et sa commande rebase dans Autres (informatique) Lundi 15 décembre 2014 à 14h15 15/12/14 à 14h15 par Eskimon git zds versioning
Administrez vos bases de données avec MySQL dans Autres (informatique) Mercredi 10 décembre 2014 à 00h59 10/12/14 à 00h59 par Auteur externe mysql
La cryptographie asymétrique avec RSA Chiffrer ses données avec RSA dans Programmation et algorithmique , Autres (informatique) et Mathématiques Lundi 24 novembre 2014 à 16h06 24/11/14 à 16h06 par Vayel et Dominus Carnufex 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 dans Autres (informatique) et Histoire Vendredi 10 octobre 2014 à 14h47 10/10/14 à 14h47 par Arius et Eskimon 35 histoire c'est toute une histoire
L'idle port scan L'idle port scan dans Autres (informatique) Dimanche 21 septembre 2014 à 14h42 21/09/14 à 14h42 par elalitte sécurité tcp-ip
Introduction au scan de ports Introduction au scan de ports dans Autres (informatique) Mercredi 17 septembre 2014 à 16h42 17/09/14 à 16h42 par elalitte sécurité tcp-ip
![Logo de [Git] Créer un nouveau dépôt à partir d’un dossier d’un autre dépôt](/media/galleries/1367/bcd897a9-4720-4d9e-a077-a01e1063a8b7.png.96x96_q95_crop.png)
