LinuxFr.org

Se connecter

Identifiant

Mot de passe

Connexion automatique

Compte créé le 23/04/2015

Accès aux derniers

journal Sémantiques mécanisées : quand la machine raisonne sur ses programmes.
journal Nouvelle chaire Sciences du logiciel au Collège de France.
journal Que fait `man` passé minuit ?
entrée du suivi Impossible de répondre à un commentaire
entrée du suivi Problème de parsing sur les formules latex
dépêche Qui est le coupable ? Le processeur ! Retour sur un bogue important des SkyLake & Kaby Lake Intel
journal Un bug ? Qui est le coupable ? Le processeur !!!
dépêche Résultat électoral : le nouveau DPL est…
journal Arrestation du développeur Debian Dmitry Bogatov
journal Résultat électoral : le nouveau DPL est...
journal Xavier Leroy est le lauréat 2016 du Prix Milner.
journal Tagless-final ou l'art de l'interprétation modulaire.
dépêche Apprendre la programmation fonctionnelle avec le MOOC OCaml