Bibliothèque

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 réseaux de zéro

• réseaux

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

Introduction aux systèmes distribués

Implémentons une salade de fruits répartie

• systèmes distribués

Utiliser un gestionnaire de mot de passe

quand on y connaît pas grand-chose en informatique

• sécurité
• mot de passe
• débutant

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

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

La représentation intervallaire

Gestion d'arbre en SQL

• sql
• base de données

Un peu de Machine Learning avec les SVM

Découvrez les SVM, ces outils classiques de Machine Learning !

• algorithmique
• intelligence artificielle

Les macros google spreadsheet

• javascript
• automatisation
• tableur

AdaCore Tech Day 2019

Quoi de neuf chez AdaCore ?

• compilation
• gcc
• ada

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

Les bizarreries du langage C

• c

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

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

La compression JPEG

À la découverte de la compression JPEG

• algorithmique
• traitement d'images

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