Ed's Calendar

Useful Places to Search

• Google | Google Scholar | Google Maps | Clusty | Snap |
• Google News | Google Zeitgeist | Google News Alerts
• Search Socrates at Stanford
• Proxy Access to Stanford Restricted Access Resources
• E-Journal Access at Stanford
• The Philosopher's Index
• JSTOR Online Article Retrieval
• Search Encyclopedia Britannica
• Universities Worldwide
• Yahoo Index of University Links By Country (U.S. by state)
• Susanne Riehemann's Links Page
• Philosophy Collections in the Libraries
• Critical Editions (Past Masters)
• The Stanford University Libraries Start Page
• Electronic Journals
  • Journal of Philosophical Logic
  • Notre Dame Journal of Formal Logic
• CiteSeer
• Math World
• Planet Math
• Stanford You (Access to Stanford SUNet data) | Stanford Who (Lookup a Stanford-affiliated person) | Stanford What (Lookup a Stanford-affiliated machine)

Stanford Encyclopedia

• Homepage
• Table of Contents
• Editorial Information
• What's New
• CVS web page
• Search Encyclopedia
• Encyclopedia Archives
• Symbols:
  • Encyclopedia Table of Widely Supported Symbols
  • Encyclopedia Table of Special Graphics/Symbols
  • Encyclopedia Mathematics HTML Sampler
  • Math in HTML Using CSS
  • FileFormat.Info links to Unicode Character Search and A–Z Unicode Character Index
  • Unicode Mathematical Operators (Wikipedia)
  • Unicode Entity Codes for Math
  • Alan Wood's HTML 4.0 Character Entity References
  • Alan Wood's Combining Diacritical Marks
  • Unicode Polytonic Greek for the WWW
  • Diacritics for Tibetan/Himalayan Digital Library
• Principal Editor's Interface
• Subject Editors' Interface
• Authors' Interface
• Prospects Interface
• Plagiarism and Copyright Links (at www.transcendentalism.org)
• SEP Sample Entry

Philosophy Links

• The Metaphysics Research Lab
• American Philosophical Association
• Canadian Philosophical Association
• Australasian Philosophical Association
• Association for Symbolic Logic
• Philosophy Documentation Center
• Noesis
• Guide to Philosophy on the Internet (Peter Suber's Guide)
• Arts and Letters Daily (Service of the Chronicle of Higher Education)
• Routledge Encyclopedia of Philosophy
• Internet Encyclopedia of Philosophy
• MIT CogNet
• Metaphysics: Multiple Meanings
• The Philosopher's Magazine (TPM) Online

Administration

Unix/Server Administrative Software

• Apache HTTP Server Project
• mod_perl configuration
• mod_ssl: The Apache Interface to OpenSSL
• Postfix
• Fighting malware and spam with Postfix
• Postfix Performance Tuning
• Postfix Backscatter Howto
• Postfix Standard Configuration Examples [See Configuring Postfix as MX host for a remote site]
• ASCII table
• Convert: ASCII↔Hex↔Unicode
• The Pine FAQ
  • All About Pine: Imap and MacOS X
• MacEnterprise.org (Archives for macosxlabs.org)
  • Mac OS X Labs Script Archive (with rsync scripts)
• Rsync Homepage
• Glimpse/Webglimpse Indexing Engine
• wwwstat: httpd Logfile Analysis Software
• Wusage Logfile Analysis Software
• HTML Tidy homepage
• Tidy at the SourceForge
• Benatong/PowerGuardian (UPS Software)
• To Hell with Bad Browsers (A List Apart.com)
• NCSA Tutorial: Imagemap
• WWW FAQ: How do I set up a clickable image map?

W3C, HTML, XML, MathML, TEI, and Unicode

• HTML vs XHTML
• W3C Organization
• W3C HTML Homepage
• W3C HTML Validation Service
• W3C CSS Validation Service
• W3C Link Checker Service
• W3 Schools Tutorials (XML, XSL, XSLT, etc.)
• XHTML 1.0
• XHTML 2.0 Reference Specification
• The W3C HTML 4.01 Reference Specification
• The W3C HTML 3.2 Reference Specification
• HTML 4.0 Character Entity References
• UTF-8
• Unicode Browser Display
• Unicode Home Page
  • Unicode Code Charts (Complete List)
  • Unicode Chart on Combining Diacritical Marks
  • Unicode Fonts for Mac OS X computers
  • Unicode Fonts for Windows Computers
• Creating Web Sites with Mac OS X (MacZealots)
• CSS Tutorial (WestCiv.com)
• Creating Universally Compliant HTML (The Web Design Group)
• WebMonkey's HTML Basics
• LaTeX to HTML:
  • HeVeA translator: LaTeX -> HTML
  • LaTeX2HTML
  • vulcanize
  • hyperlatex
• W3C Math: MathML puts math on the Web
• Math Markup Language (Chapter 6)
• Amaya Overview (Amaya for Mac OS X)
• Text markup and the cost of access (Jon Bosak, Nature, August 2001)
• The Semantic Web (T. Berners-Lee, Scientific American, May 2001)
• XML.com: Electronic Publishing with XML [June 27, 2001]
• TEI Pizza Chef
• Electronic Reference Formats (American Psychological Association)
• The Web Robots Pages
• Web Server Administrator's Guide to the Robots Exclusion Protocol
• Editize (Rich-text editor that replaces the TextArea input box in any Content Management System -- a client-side Java applet)
• XTHML Rich Text Authoring: EditLive! for Java: Online HTML Editor SDK

Web Content Management Software

• Ars Digita Community System
• Philip Greenspun's MIT Class Problem Set 3
• Frontbase - the scalable database server
• XML Editor

Web Publishing and Projects

• International Consortium for the Advancement of Academic Publications
• About the Open Directory Project

NSF, NEH, and DigLib

• NSF Grant Proposal Guide
• NSF Fastlane
• Login to Proposal Preparation
• Specific RFPs and Divisions
  • NSF: Directorate for Computer and Information Science and Engineering (CISE)
  • Information & Intelligent Systems (IIS)
• NSF DLI2 Funded Projects

• Applying for NEH Grants
• Administration Rules for NEH Challenge Grants

• D-Lib Forum and D-Lib Magazine
• Peter Suber, Guide to the FOS Movement
• National Initiative for a Networked Cultural Heritage

Ontologies and Theorem Proving

• Geoff Sutcliffe's online service
• E-prover system
• Systems implementing mathematical reasoning of some kind
• Automated Reasoning at Argonne
  • Prover9
  • Prover9 and Mace4 Quick Start Guide
  • Otter 3.3
• Protege
• TPS Theorem Proving System
• Isabelle
• PolyML Download Page
• Logical Frameworks page (Frank Pfenning) (List of Logical Frameworks and Links)
• SRI's Artifactory Research Resources (links XML, RDF, DAML+OIL, Ontolingua, Semantic Web, etc.)
• DAML+OIL (March 2001) reference description
• DAML.org
• DAML+OIL Axioms
• The Coq Proof Assistant
• The Caml Language

Music

• Stanford Music Library Start page
• Naxos Music Library
• Classical Music Library
• Scores of Brahms' Piano Works
• Mutopia
• EveryNote.com (Download Sheet Music Inexpensively)
• Sheet Music Archive (free, but only 2 per day)
• Music Stack, Vinyl Records, Rare LPs, etc.

Institutions

• New York Times
• San Jose Mercury News e-Edition
• Netspeed at Stanford
• SBC/Yahoo DSL Support Page
• SBC Bandwidth/Speed Test
• Speakeasy Bandwidth/Speed Test
• Comcast Bandwidth Speed Test
• Broadband Speed Checker
• US Postal Service/Postage Calculator
• Library of Congress
• Travel at Yahoo
• Travelocity.com
• Flight Arrivals .Com (Get flight status)
• History of Mathematics Archive (MacTutor)
• Christ in the Desert (Illumintated Web Manuscripts)

General Computer Reference

Stanford Computing Help

• Speaking of Computers (Stanford Zine)
• Stanford ITSS Services Monitoring
• Stanford Security Services
• Tech Books Online at Stanford
• Anti-Spam at Stanford
• Stanford Wireless Network

Unix, X

• MacForum Unix FAQ
• Unix Porting Guide for MacOSX
• Darwin Ports for Mac OS X
• Fink Homepage, Download page, User's Guide

Emacs

• Carbon Emacs Package (Tiger build) (Useful Wiki for Carbon Emacs Package)
• Emacs.app
• Emacs Users Manual (gnu.org)
• XEmacs 21.5.9 for Mac OS X (in beta version as of Feb 2003)

TeX

• MacTeX - TeX Users Group
• TeXShop and Single-Click MacTeX (TeXShop/teTeX, etc.)
• TeX fonts for jsMath
• Including Graphics in a LaTeX Document
• Graphics in LaTeX
• LaTeX for Frege Notation
• LaTeX for Logicians
• LaTeX for Philosophers
• Installing Fonts for LaTeX on OS X
• LyX
• The TeX Catalogue Online (Graham Williams)
• U.S. CTAN TeX-Archive
• German CTAN TeX-Archive

Perl

• CPAN (Comprehensive Perl Archive Network)

Purchasing Hardware/Software Online

• Nextag.com
• Pricewatch.com

FAQs

• Internet FAQ Archives (FAQs by Newsgroup)
• Open FAQ at Boutell.com

MacOS X 10.x

Apple Sources

• Apple Computer
• Apple Store
• Apple Store at Stanford (for personal purchase)
• Apple Store at Stanford (for institutional purchase)
• Macintosh Featured Software Downloads
• Macintosh Products Guide
• Apple Developer MacOS X Page
• MacOS X Page
• MacOS X Server Page
  • MacOS X Server Resources Page
  • Mac OS X Server Support Page
  • Mac OS X Server Documentation (Manuals)
• Apple Discussions List
• RSS Feeds to Apple Mailing Lists
• Search AppleCare Support
• Apple Product Manuals
• File Bug Report

Leopard

• Mac OS X Leopard: 300+ New Features
• Leopard Guided Tour (video)
• Ars Technica Review

News and Information

• Ars Technica Apple
• MacFixIt (Troubleshooting Solutions)
• MacOSXHints.com
• Ars Technica's Mac.Ars Discussion Group
• Slashdot (Apple)
• Stepwise Information Server (Tiger hints) (Networking Hints)
• Mac Geekery
• Macintouch.com
• MacNet Journal
• Macintosh Software Updates - VersionTracker.com
• MacRumors Buyer's Guide
• Mac DevCenter (O'Reilly Network)

Admin, Tips, and Useful Software

• Admin
  • PB Fixit Guide (repair your laptop)
  • OmniGroup Admin Mailing List
  • Mike Bombich's Mac OS X Management Software and Tips (Make a Bootable Backup of Mac OS X: Cloning Mac OS X Disks)
• Tips
  • OSX FAQ (Tips Page) (OSX FAQ's List of Failed System Call Errors)
  • Top 10 OS X Tricks for Unix Geeks
  • MacOSXHints.com
• Software
  • Mike Bombich's Utility Software for Mac OS X
  • Huge List of Native OS X Applications (maintained by "Jeff")
  • FreeWare Gems for OSX (Mac Dev Center)
  • Omni Development, Inc.
  • The Gnu Mac OS X Public Archive

Tiger

• Ars Technica (Under the Hood of Mac OS X 10.4 Tiger)
• Spotlight Tips (Apple)
• Spotlight Plugins
• Dashboard Widgets
• Automator Actions

Named Applications

• Installed Software
  • hfstar (An HFS+ aware version of gnutar)
  • Share My Desktop
  • Apple's Keynote Page
  • KeynoteUser.com
  • GarageBand Tips at Apple, Manuals, List of matches to GarageBand search at Apple Mac Dev Center Garage Band
  • Garage Band users website
  • MacBand.com (repository of songs and loops made by GarageBand users)
  • MacJams.com (Undocumented Garage Band features)
  • iCal Calendar Library
  • TeXShop for Mac OS X
  • XeTeX
  • RBrowser (Download and Manual)
  • Stone Design (PStill, Create, etc.)
  • WordNet
  • Carbon Copy Cloner (Mike Bombich)
  • Little Snitch
  • TeX i-Installer Home Page
  • Speed Download (Help Pages)
  • SubEthaEdit (Group Editing Software by The Coding Monkeys)
  • Meteorologist
  • MenuMeter
• Potentially Useful Applications
  • WireTap Studio (record anything playing on your computer)
  • zsDuplicateHunter (Find duplicated files on your drive)
  • Chicken of the VNC
  • SpamSieve Plug in for Mail.app to block spam
  • Unsanity software
  • iChalk (collaborative drawing)
  • Delicious Monster (music and book library cataloguing software)
  • Keyboard Maestro (from Stairways Software)
  • iGlasses (add brightness/control iSight camera)
  • CSSEdit (Macrabbit Software)
  • Coriolis's iPartition (repartition on the fly)
  • Desktop Manager (virtual desktop application)
  • Volume Works (from SubRosaSoft), non-destructively change partition sizes
  • LaunchBar
  • Xtar (gnutar for HFS+) (Helios)
  • File Buddy
  • Meta Object (PdfCompress, PostView (view PDF, PS), TextLightning (PDF->RTF))
  • Link Checker (from dotsw.com)
  • iChatStatus (at Infinity to the Power of Infinity)
  • Konfabultor (Widgets for Mac OS X 10.x)
  • DTV: Internet TV

Stanford Mac Sources

• Stanford Mac Essential Software
• Mac OS X at Stanford
• EE/CS Security Site for Stanford
  • Best Practices Document: Securing Mac OS X
• Mac Software and Hardware at Stanford

Darwin, X, Fink

• Darwin
  • Apple/Open Source
  • Darwin Ports
  • The GNU-Darwin Distribution
  • Porting Unix Command Line Tools to Mac OS X (Technical Note TN2071)
• X11
  • Tenon Intersystems (iTools and XTools)
• Fink
  • Fink (at The Source Forge)

Miscellaneous Sources

• The Source Forge
• Vicomsoft software
• Path Finder (An Enhanced Finder) by CocoaTech
• The Challenges of Integrating the Unix and Mac OS Environments (Wilfredo "Fred" Sanchez, MIT/Apple)
• OS X Swapfiles and /etc/fstab (from YouMac.com, June 16, 2001)
• MacWrite page: The Mac OS X Shell
• MacEdition: Aquascaping: Life with OS X (July 27, 2001)
• bresink.com: TinkerTool

NeXT, OPENSTEP, Mac OS X Server 1.x

• Openstep/Intel Hardware Compatibility
• Disktab Entries for NeXTSTEP
• Object Oriented Programming in Objective-C
• GNUstep Homepage
• stepTeX page
• Black Hole, Incorporated
• NeXTStep/Openstep/MacOSX Where to Buy Hardware/OS

People

• Susanne Riehemann
• Colin Allen
• Branden Fitelson
• Chris Menzel
• Paul Oppenheimer
• Philip Greenspun
• Elynne Rosenfeld: Artist and Painter
• The Home Page of Timothy J. Luoma (with Y2K problem info)
• Frank Siegerts Area 51 on This.Net
• Stefan Schneider - distributor of selected NeXTSTEP applications

Backpacking web sites

• BackpackingLight.com
• Sierra Backpacker (Sierra Passes)
• Topographic Maps for the Mac
• Mammoth Lakes Visitor Center
• Inyo National Forest website
  • How to Get a Wilderness Permit
  • Wilderness Permits Trailhead Quotas (Wilderness Permit Phone Line: 760-873-2483, dial "0")
  • Actual availability
• Sierra National Forest website (West Side of the Sierra) (Wildeness Quotas/Trailheads)
• Sequoia National Forest website
• National Forests in California website