[english version]
Quelques liens:
Voici quelques liens que j'ai jugé utile de mettre.
Mathématiques
Encyclopédies en ligne
Utile si vous avez une connexion Internet mais pas d'accès à une
bibliothèque.
- PlanetMath: a de jolis modes
d'affichage et la possibilité de rentrer ses contributions en LaTeX.
- MathWorld: un grand nombre
d'entrées, sur des sujets peut-être plus diversifiés.
Textes en ligne
Merci à tous ceux qui ont rendu ceci possible: auteurs ayant donné leur
autorisation, personnes ayant scanné les textes, etc.
- Numdam est un projet de
numérisation de publications mathématiques plus ou moins anciennes, en
particulier de comptes-rendus de séminaires et annales d'instituts
mathématiques. Entre autres, vous pourrez y trouver les Éléments de
géométrie algébrique (EGA) et le Séminaire de géométrie
algébrique (SGA).
Divers
Informatique
Unix Libres
Lisp
Quelques liens sur ce magnifique langage et les machines qui lui sont
dédiées.
- Association of Lisp Users
- Le site de Paul Graham,
programmeur Lisp et auteur de livres d'influence sur Common Lisp. Je
recommande très vivement la lecture de ANSI Common Lisp et surtout
de On Lisp, qui expose admirablement certaines features-clé (i.e.,
celles qui rendent CL unique, et si puissant), notamment les macros.
- La page de Jaap Weel
: des informations sur Lisp, Scheme, et les Lisp Machines
- Une page sur la
K-Machine,
dernier modèle de Lisp Machine conçu par LMI; 1 seul
exemplaire a été construit, LMI ayant coulé peu après.
- La page du projet E3 visant
à développer un émulateur pour l'Explorer III, Lisp Machine de Texas
Instrument
- La page de
Faré consacrée aux Lisp Machines.
PDP-10 et ITS
Le PDP-10 (Programmed Data Processor 10) était un ordinateur fabriqué et
commercialisé par DEC (Digital Equipment Company). Certaines université ont écrit
leur propre système d'exploitation pour PDP-10; MIT avait
l'Incompatible Timesharing System (ITS), Stanford avait WAITS, etc. Je me
suis particulièrement intéressé à ITS.
Voici donc quelques liens
concernant cette architecture et ITS.