Bibliothèque

Introduction aux systèmes distribués

Implémentons une salade de fruits répartie

• systèmes distribués

Partager une clé secrète entre plusieurs personnes : la méthode de Shamir

• mathématiques
• algorithmique
• cryptologie

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

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

L'industrie électronique en Corée du Sud

Partie 1 : 1948 - 1976

• histoire
• électronique

Avez-vous besoin d'un VPN ?

Ce que permet ou non un VPN commercial

• réseau
• vpn

Rencontre avec JbL

• interview
• développement de jeux

L'encodage UTF-8 à la main

Avec un Zeste d'Unicode

• encodage
• utf-8
• unicode

Histoire des semiconducteurs à Taïwan

Où l'on parle de galettes

• histoire
• électronique
• ordinateur

L'avènement des chiplets

Moore a une loi de plus dans la manche !

• hardware
• processeur
• chiplet

« Les réseaux de zéro » : le livre sort en librairie le 17 février

Tentez de remporter un des deux exemplaires mis en jeu !

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

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

• zeste de savoir
• développement
• failles

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