Gasche et rz0 vous présentent…
- 2013-03-22 Statically asserting types in C11
- 2012
- 2012-06-11 Le C et ses raisons : assertions ou programmation défensive ?
- 2012-06-09 Does your compiler handle indirect function call folding and inlining?
- 2012-05-29 Le C et ses raisons : les pointeurs restreints
- 2012-05-27 Brèves de mai
- 2012-05-16 Compile-time conditionals and unique constants using C11 _Generic
- 2012-05-14 À la découverte d'Emacs (Lisp) 24
- 2011
- 2011-12-04 Appeler Emacs depuis un navigateur, sous un Debian-like
- 2011-04-19 Génération de tests, compilateurs, et preuve formelle
- 2011-04-03 Un peu de crypto
- 2011-03-20 Cofoja contracts, checkpoints and recursion
- 2011-03-19 Sécurité et interface utilisateur
- 2010
- 2010-11-20 Annotation processing + instrumentation = language extensions
- 2010-11-16 A long story about MLF, part 4: gMLF, graphical MLF types
- 2010-11-15 A long story about MLF, part 3: introduction to MLF
- 2010-11-14 Calinours découvre... la JVM et son bytecode !
- 2010-11-11 Moderately practical uses of System F over ML
- 2010-11-07 A long story about MLF, part 2: System F and principality
- 2010-11-05 Une courte remarque sur l'indentation des séquences multilignes
- 2010-11-03 Comme ça, vous voulez (apprendre à) programmer en C...
- 2010-10-27 A long story about MLF, part 1: Introduction, ML
- 2010-10-19 Comme ça, vous voulez (apprendre à) programmer en C...
- 2010-10-15 Préprocesseur C : récursivité ou imbrication ?
- 2010-09-03 La voie de l'autodidacte (2/2)
- 2010-08-28 De la douloureuse productivité du programmeur
- 2010-08-27 La voie de l'autodidacte (1/2)
- 2010-07-18 Utiliser et configurer XMonad
- 2010-07-17 Administrativia
- 2010-04-06 Not dead yet: xmltools, long after the summer
- 2010-03-27 Pourquoi le C est moins puissant que votre langage favori
- 2010-03-15 7 recettes pour aller plus loin avec le préprocesseur C
- 2010-03-07 De l'art de coder un blog (2/2)
- 2010-03-03 Une modeste introduction à (mon travail sur) QEMU
- 2010-03-01 De l'art de coder un blog (1/2)
- 2010-02-20 Macaque
- 2010-02-07 Du nouveau autour du blog
- 2010-02-01 Le code et ses raisons : typedef en C
- 2010-01-22 Cohérence des effets de bord
- 2009
- 2009-12-30 Pourquoi attacher tant d'importance au typage ?
- 2009-12-20 Premiers pas vers un environnement de test NetBSD/Xen
- 2009-11-27 En bref aussi
- 2009-11-16 En bref
- 2009-10-12 xmlsed prototype
- 2009-10-11 Expression problem (2/3) : dualités somme/produit et fonctionnel/OO
- 2009-09-27 Expression problem (1/3) : sommes fermées, sommes ouvertes
- 2009-09-24 Comment rater son Google Summer of Code : retour d'expérience
- 2009-09-15 Lire ses mangas dans Emacs
- 2009-09-12 Les petites choses de la vie...
- 2009-09-10 Le code et ses raisons : goto en C
- 2009-09-09 Singeries appliquées en OCaml : Polymorphisme d'ordre supérieur (2/2)
- 2009-09-07 Singeries appliquées en OCaml : Polymorphisme d'ordre supérieur (1/2)
- 2009-09-07 xmltools: after the GSoC
- 2009-09-04 Détection automatique de bugs
- 2009-08-30 Lack of comments considered harmful
- 2009-08-27 Histoire de minorité et d'informatique
- 2009-08-26 Mythologie de #sdz
- 2009-08-25 Conventions : le retour
- 2009-08-21 L'innocence est un mythe : les programmes fonctionnels nécessairement impurs
- 2009-08-16 Conventions : quelques vers à la gloire du Grand
- 2009-08-14 L'Ensimag pour les véritables
- 2009-08-13 xmltools: what's done, what's left
- 2009-08-13 Déjà-vu
- 2009-08-07 bluestorm, Emily, et les chameaux
- 2009-08-03 shutdown, Emacs, et Firefox
- 2009-07-30 Emacs 23.1 est là, pour les grands et les petits
- 2009-07-20 xmltools implementation: automata and backtracking
- 2009-07-14 Le Wifi du CROUS : guide de survie
- 2009-07-08 xmltools update: new I/O layer and further plans
- 2009-07-05 Ma nouvelle configuration Emacs !
- 2009-07-01 NetBSD, le bilan, deux mois après
- 2009-06-27 Ensimag, histoires d'intégration : la plaquette alpha
- 2009-06-26 Club Linux Ensimag : installations sur les serveurs élèves
- 2009-06-25 xmlsed preview: writing XML
- 2009-06-21 More benchmarks: the bitvopt branch
- 2009-06-17 xmlgrep by examples: playing with Atom
- 2009-06-16 Improving performances of xmlgrep
- 2009-06-12 xmlgrep toy benchmarks
- 2009-06-10 XML as a tree representation
- 2009-06-10 Reprise du Club Linux Ensimag
- 2009-06-09 In search of a good pull-style XML parser
- 2009-06-08 UTF-8 sous NetBSD
- 2009-06-08 Nouveau Blog !
- 2008
- 2008-05-27 Écrire du code C avec Emacs
- 2008-05-04 Votre premier .emacs
- * * *
- À propos
- #sdz et ses environs
-