athena AT services.cnrs.fr
Objet : Histoire des techniques
Archives de la liste
[ATHENA] Séminaire Codes Sources : Org-mode (Bastien Guerry, jeudi 8 mars 2018)
Chronologique Discussions
- From: Baptiste Mélès <baptiste.meles AT gmail.com>
- To: educasup.philo AT ml.free.fr, theuth AT listes.univ-rennes1.fr, athena AT services.cnrs.fr, emetis AT listes.univ-paris1.fr, codes-sources AT googlegroups.com, diff AT pps.univ-paris-diderot.fr
- Subject: [ATHENA] Séminaire Codes Sources : Org-mode (Bastien Guerry, jeudi 8 mars 2018)
- Date: Sat, 17 Feb 2018 11:33:39 +0100
- Authentication-results: t2gpsmtp1.dsi.cnrs.fr (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
Séminaire « Codes sources »
L'objectif du séminaire Codes sources est de présenter la pensée
informatique là où elle s'exprime le plus concrètement : dans les textes
que sont les codes sources.
Séance du jeudi 8 mars 2018 (14h-16h) :
Bastien Guerry, « Code source et/ou documentation ? Réflexions autour
de l’éditeur Emacs, du langage Emacs Lisp et du module Org-mode »
Résumé :
Cette présentation est un jalon le long d’une réflexion plus large sur
la documentation logicielle. Une fois illustrés quelques problèmes
généraux, nous explorerons la documentation de l’éditeur GNU Emacs et
du langage Emacs Lisp d’un point de vue « utilisateur ». Puis nous
aborderons cette question de la rédaction de la documentation du point
de vue « développeur » à partir de notre expérience de la maintenance
d’org-mode, un module d’Emacs. Un temps important sera consacré aux
échanges pour que chacun puisse contraster ces expériences à l’aide
d’autres expériences particulières.
Lieu :
Salle 24-25/405 du LIP6 (rotonde 25, 4e étage)
Adresse :
4 place Jussieu, 75005 Paris
métro Jussieu (lignes 7 et 10)
------------------------------------------------------------------------
Prochaines séances du séminaire Codes sources :
- jeudi 12 avril 2018 : Sandrine Boissel (Académie de Grenoble),
« Mall&t' Algo en Main/AccessiDVScratch - Manipulate Learn
Look&Touch : l'algo pour tous grâce à la manipulation »
- jeudi 3 mai 2018 : Assia Mahboubi (Inria, LS2N, Université de Nantes),
« Preuves assistées par ordinateur »
- jeudi 14 juin 2018 : Camille Paloque-Berges (CNAM, HT2s), « Le poisson
d’avril "kremvax.0001" »
Sauf mention contraire, toutes les séances ont lieu de 14 heures
à 16 heures au LIP6, dans la salle 24-25/405 (rotonde 25, 4e étage).
Laboratoire d'Informatique de Paris 6 (LIP6)
4 place Jussieu
75005 Paris
métro Jussieu (lignes 7 et 10)
------------------------------------------------------------------------
/* ***************************************
* À propos du 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.
Organisateurs :
- Raphaël Fournier (CNAM)
- Baptiste Mélès (CNRS, Archives Henri-Poincaré)
- Lionel Tabourier (LIP6).
Site : http://codesource.hypotheses.org/
Contact : Baptiste Mélès (baptiste.meles AT univ-lorraine.fr)
Twitter : https://twitter.com/SemCodesSources
Youtube : https://www.youtube.com/channel/UCjlWpJhknF2fUxNUF-we9ww
Liste de diffusion : https://groups.google.com/forum/#!forum/codes-sources
------------------------------------------------------------------------
--
Baptiste Mélès
CNRS (Chargé de recherche / Researcher), Université de Lorraine,
Archives Henri-Poincaré — PReST (UMR 7117)
91 avenue de la Libération, 54000 Nancy, France
/Philosophia Scientiæ/ (Rédacteur en chef adjoint / Managing editor)
http://baptiste.meles.free.fr/
- [ATHENA] Séminaire Codes Sources : Org-mode (Bastien Guerry, jeudi 8 mars 2018), Baptiste Mélès, 17/02/2018
Archives gérées par MHonArc 2.6.18.