Bibliothèque

Ce bon vieil ed

Découvrez l'éditeur historique d'Unix

• linux
• editeur
• gnu/linux

Explorons WikiData

Introduction au langage SPARQL à partir d'exemples liés à Wikidata

• web sémantique
• sparql
• wikidata

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

On a comblé des failles de sécurité sur ZDS

De la découverte à la correction, comment ça marche ?

Comment contribuer à un logiciel libre ?

Que vous sachiez développer ou non, vous pouvez contribuer !

• open source
• logiciel libre
• contribution

Anatomie d'un titre de transport : du billet à la carte à puce

• transports
• billetique

Construire des portes logiques avec des dominos

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