(no subject)

1. I have `liberated' this new icon from the CERN website.

2. The sound of rain on my room's roof is quite pleasant.

3. Isn't it cheating to require a new axiom (the ``Infinity Axiom'') in order to construct the natural numbers, and still call it ``constructive'' (versus axiomatic)? The Infinity Axiom (∃A:(∅∈A)&(∀a∈A, a+∈A)) seems tailor made for the construction of the naturals.

4. vmware is amazing. I can run Windows 2000 and Linux and Plan9 simultaneously, just as if this little computer were actually three. With Mozilla and OpenOffice running on both Win2K and Linux; and with Mindterm SSH running in a Java VM; and connected to my mailboxes via IMAP, it's clear to me that the future of computers isn't with platform independence, it's with platform irrelevancy.

5. (nonetheless, it's still impossible to get any work done in Windows without somehow connecting to or emulating a Unix environment :-)