Equivalence, morphisme et réécriture en Coq Où l’on apprend comment étendre le fonctionnement de la tactique `rewrite` coq preuve méthodes formelles
Installer Arch Linux de façon moins austère avec le projet libre Arch Anywhere La belle rime ! informatique gnu/linux arch linux
elementary OS, après un mois d'utilisation Que vaut cette distribution élégante et son centre d'applications à prix libre ? linux elementary os prix libre
Qu'est-ce que le Release Engineering ? Ou ma réponse longue à "tu fais quoi dans la vie ?" méthodologie entreprise informatique industrielle
Disques durs « spécial NAS » et reconstruction de RAID Quand une tolérance de panne ne tolère plus grand-chose probabilités disques durs raid
Bien choisir sa distribution GNU/Linux – édition 2017. Un article de Frédéric Bezies linux distribution
Zest Writer 1.7 est disponible Avec support des tribunes libres et des performances améliorées java zds open source
I. Caféine, Théine ou Chocolatine ? Un éclaircissement sur les molécules stimulantes d'origines végétales. chimie biologie alcaloïde
L'algorithme de recherche de motifs d'Aho-Corasick Où comment chercher 42 aiguilles dans une botte de foin python automate fini expression régulière
Comment résoudre un problème d'informatique ou de toute autre domaine recherche zds moteur de recherche
Carte électorale de la présidentielle 2017 (premier tour) C'est quelque chose à la mode géographie cartographie
Kotlin + Brainfuck : efficacité, compacité, optimisation Où l'on teste Kotlin (par rapport à Java) et où l'on essaie de faire efficace optimisation brainfuck kotlin
Comment perdre un après-midi alors que l'on a plein de choses à faire Atelier création de mosaïque pour petits et grands mosaïque