Séminaire Codes sources
À celui seul qui prend la peine de les lire effectivement, les codes sources révèlent leur richesse. On y découvre que l’élégance d’un algorithme réside parfois hors de sa complexité, dans l’usage virtuose des idiomes du langage de programmation ou dans la connaissance fine de la machine à laquelle il est destiné. Bien souvent des codes sources comportent davantage de lignes de commentaires que de code. Tous ces trésors de pensée informatique fondent à la compilation comme neige au soleil — preuve qu’un programme n’est pas seulement écrit pour être compilé.
Le but du séminaire est de décrire ces œuvres de l’esprit comme des textes à part entière. Nous espérons ainsi contribuer à la constitution d’une culture générale en programmation. En informatique comme en littérature, cela suppose la familiarisation progressive avec un corpus de grands textes.
À chaque séance, un intervenant — jeune chercheur ou chercheur confirmé en informatique, en histoire ou en philosophie — présente, en moins d’une heure, un code source de son choix : un fragment de système d’exploitation, de pilote, de compilateur, de bibliothèque… Le code peut avoir été écrit par l’orateur ou par quelqu’un d’autre, dans quelque langage que ce soit. Le commentaire peut être algorithmique, stylistique, historique ou philosophique, et porter sur tous les aspects du code, commentaires compris. Le code est ensuite discuté avec l’auditoire.
Suivre les annonces
Mailing List
Inscrivez-vous en envoyant un mail à :
codes-sources@googlegroups.com
Page officielle
Codes Sources sur Hypotheses.org
Sur le site des Archives Henri Poincaré
Suivez les annonces en vous abonnant à @SemCodesSources
Liste des séances
- 22 juin 2016 » Code source sans code ? Le cas de l'ENIAC (Liesbeth De Mol) @ Séminaire Codes Sources, Paris fr
- 25 mai 2016 » Programmer les dessins sur le sable de Vanuatu : nouvelles perspectives d’une recherche ethnomathématique (Éric Vandendriessche, Alban Da Silva) @ Séminaire Codes Sources, Paris fr
- 13 avril 2016 » Calculer avec des positions, calculer avec des tables en Chine ancienne (Karine Chemla) @ Séminaire Codes Sources, Paris fr
- 23 mars 2016 » CallCC, un coup d’état sur le contrôle (Yann Régis-Gianas) @ Séminaire Codes Sources, Paris fr
- 13 février 2016 » La négociation de format dans libavfilter (Nicolas George) @ Séminaire Codes Sources, Paris fr
- 20 janvier 2016 » MesoCalc, la calculatrice mésopotamienne en JavaScript (Baptiste Mélès et Christine Proust) @ Séminaire Codes Sources, Paris fr
- 13 janvier 2016 » Littérature vagabonde. A close reading of sound algorithms (Julian Rohrhuber) @ Séminaire Codes Sources, Paris fr
- 16 décembre 2015 » Large-scale source code archival, publishing, and indexing with Debsources (Stefano Zacchiroli) @ Séminaire Codes Sources, Paris fr
- 14 octobre 2015 » Le génie logiciel des mathématiques formelles (Georges Gonthier) @ Séminaire Codes Sources, Paris fr
- 18 juin 2015 » Programmer en Estérel (Gérard Berry) @ Séminaire Codes Sources, Paris fr
- 21 mai 2015 » L'ordonnancement sous MULTICS (Maarten Bullynck) @ Séminaire Codes Sources, Paris fr
- 30 avril 2015 » Un jeu de labyrinthe dans le plan hyperbolique écrit en JavaScript (David Madore) @ Séminaire Codes Sources, Paris fr
- 09 avril 2015 » Objects in the Linux kernel: evolution is good (Greg Kroah-Hartman) @ Séminaire Codes Sources, Paris fr
- 19 mars 2015 » Voyage à travers les virus MS-DOS (Damiano Mazza) @ Séminaire Codes Sources, Paris fr
- 19 février 2015 » Understanding Linux Network Device Driver Code (Julia Lawall) @ Séminaire Codes Sources, Paris fr
- 22 janvier 2015 » Littérature logicielle (Gérard Huet) @ Séminaire Codes Sources, Paris fr