[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

• The Mathematics Genealogy Project
• The Grothendieck Circle: plein de choses, allant de textes mathématiques à des photos en passant par une biographie...

Informatique

Unix Libres

• Le projet GNU
• le « noyau » Hurd. Il s'agit en fait d'une collection de serveurs tournant sur un micro-noyau (d'où les guillemets).
• Le noyau Linux
• Le projet Debian, excellente distribution de GNU/Linux.
• Les BSD libres : NetBSD, OpenBSD, FreeBSD

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.

• Le langage machine du PDP-10. Un must si vous voulez les programmer sérieusement.
• La page PDP-10 de Phil Budne.
• Deux pages sur ITS, avec des instructions pour le faire tourner sur un émulateur PDP-10 : chez Alan Bawden et Mirian Crzig Lennox
• La page Wikipedia sur ITS