[version française]

A few links:

These are a few links I have thought could be useful.

Mathematics

Online Encyclopaedias

Mostly useful if you don't have access to a library but have access to an Internet connection.

• PlanetMath: among its features are nice display options and the possibility to submit contributions in LaTeX
• MathWorld: lots of entries, perhaps on a broader range of topics.

Online texts

Thanks to all of whom made this possible; authors who gave permission, people who scanned texts, etc.

• Numdam is a project to digitalize (more or less old) mathematical publications, notably proceedings from seminars and annals of mathematical institutes. Among others, you can find the Éléments de géométrie algébrique (EGA) and Séminaire de géométrie algébrique (SGA).

Misc.

• The Mathematics Genealogy Project
• The Grothendieck Circle: lots of material, from mathematical texts to pictures to biographies

Computers

Free Unixes

• The GNU project
• The "kernel" Hurd. It's in fact a collection of servers running on top of a microkernel (hence the quotes).
• The kernel Linux
• The Debian project, a wonderful GNU/Linux distribution.
• Free BSDs : NetBSD, OpenBSD, FreeBSD

Lisp

A few links about this marvelous language and the machines dedicated to running it.

• Association of Lisp Users
• Paul Graham's website. He's a Lisp hacker and author of influential books about Common Lisp. I highly recommend reading ANSI Common Lisp and, even more so, On Lisp, which wonderfully exposes some of the key features of Common Lisp, (that is, those that make CL unique and so powerful), especially the macro system.
• Jaap Weel's page : information about Lisp, Scheme and the Lisp Machines
• A page about the K-Machine, which is the last model of Lisp Machine manufactured by LMI. Only one unit was ever built, as LMI went out of business soon after
• Project E3's page. It's an Explorer III (a Lisp machine built by Texas Instrument) emulator
• Faré's Lisp machines page.

PDP-10 and ITS

The PDP-10 (Programmed Data Processor 10) was a computer manufactured by DEC (Digital Equipment Company, which then became Digital). Many innovations took place on that machine. Some universities wrote their own operating system for the PDP-10; MIT had the Incompatible Timesharing System (ITS), Stanford had WAITS, etc. I have been gathering information mainly about ITS.
Therefore, here are a few links about this architecture, and about ITS.

• PDP-10 machine language You definitely should read this if you want to program them.
• Phil Budne's PDP-10 page
• Two pages about ITS, with tutorials to run it under a PDP-10 emulator : Alan Bawden's and Mirian Crzig Lennox's
• Wikipedia entry about ITS