Philosophy Links
- American Philosophical Association
- the Indiana Philosophy Ontology (InPhO) Project
- Arts and Letters Daily (Service of the Chronicle of Higher Education)
- Australasian Philosophical Association
- Association for Symbolic Logic
- Blackwell Publishing
- Boethius: Consolatio Philosophiæ
- Computational Metaphysics
- James J. O'Donnell
- Philosophy Documentation Center
- Guide to Philosophy on the Internet (Peter Suber's Guide)
- MIT CogNet
- Metaphysics: Multiple Meanings
- Project Euclid
- Philosophical Gourmet Report (Brian Leiter, University of Texas)
- Philosophical Lexicon
- Daniel Dennett
- Blackwell Publishing, Philosophy
- Metaphysics Research Lab
- Paul Oppenheimer
- Philosophy Talk
- Stanford Encyclopedia of Philosophy
- Ernst Mally (brief biography from the Metaphysics Research Lab)
- UC Berkeley Philosophy
- The Internet Encyclopedia of Philosophy
- Philosophy at Wikipedia
- Garth Kemerling, Philosophy Pages
- Philosophy at EServer
- the Indiana Philosophy Ontology project
- Dictionary of Philosophy of Mind, Chris Eliasmith, editor (University of Waterloo)
- Princeton University Department of Philosophy
Stanford Encyclopedia of Philosophy
- Homepage
- Table of Contents
- Editorial Information
- What's New
- Advanced Search Encyclopedia
- Encyclopedia Archives
- Encyclopedia Table of Symbols
- Encyclopedia RSS Feed
- Plagiarism and Copyright Links (at www.transcendentalism.org)
- RSS feed
- the Indiana Philosophy Ontology (InPhO) Project
Useful Places to Search
- Clusty
- Snap
- Yahoo!
- Internet Archive
- JSTOR Online Article Retrieval
- The Library of Congress
- OAIster Union Catalog of Digital Resources (University of Michigan)
- Internet FAQ Archives
- Yahoo Index of University Links By Country
- Links to Universities Worldwide (Geography Dept./U. Innsbruck)
- Susanne Riehemann's Links Page
- CiteSeer Engine for Citation Searching
- Eric Weisstein's World of Mathematics
- Mally's Start page
- Wikipedia
- Yahoo! Maps, Driving Directions, and Traffic
- Google Maps
- Library Catalogues around the world (University of Saskatchewan library)
- Stanford University Libraries and Academic Information Resources
Artificial Intelligence
Reasoning
- Prover9 and Mace4 (William McCune)
- The E Equational Theorem Prover (Technische Universität München)
- Paradox and Equinox (Chalmers University of Technology and Göteborg University)
- Conference on Automated Deduction (CADE)
- Protege
- Automated Reasoning at Argonne
- TPS Theorem Proving System
- Portoraro, Frederic, “Automated Reasoning”, The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.)
- Andrei Voronkov's homepage
- Isabelle
- Mechanized Reasoning (Formal Reasoning Group, Stanford University)
Representation
- PolyML Download Page
- Logical Frameworks page (Frank Pfenning)
- List of Logical Frameworks and Links (Frank Pfenning)
- SRI's Artifactory Research Resources (links XML, RDF, DAML+OIL, Ontolingua, Semantic Web, etc.)
- DAML+OIL Reference Description (March 2001)
- DAML.org
- DAML+OIL Axioms
- The Coq Proof Assistant
- The Caml Language
- the Indiana Philosophy Ontology project
- the Indiana Philosophy Ontology (InPhO) Project
Religion
Judaica
- Boraz, Edward S., 1996, Understanding the Talmud: A Modern Reader's Guide for Study, Jerusalem, London, and Northvale, New Jersey : Jason Aronson Inc.
- Judaism 101
- Virtual Cantor
Mathematics
- Seth Oppenheimer
- American Mathematical Society
- Project Euclid
- The Mathematics Genealogy Project (North Dakota State University)
Physics
- Bohmian Mechanics
- Collaboration Bohmian Mechanics
- Bohmian Mechanics at the University of Innsbruck
- Pablo Yepes' Double Slit Experiment Simulator
- The “Mt. Rushmore” of foundations of quantum theory
- Chris Dewdney's de Broglie-Bohm website
- Eric Dennis's discussion e-group on Bell's inequality and Bohmian mechanics
- Sheldon Goldstein's Exchange of letters on Quantum Theory Without Observers
- Physics Today
- Bose-Einstein Condensation at NIST
Cognitive Science
General Reference Resources
- Encyclopædia Britannica Online
- Internet Archive
- MIT OpenCourseWare
- O'Reilly Safari Library
- Oxford English Dictionary
- British Library
- Stanford Encyclopedia of Philosophy
- Stanford University Libraries and Academic Information Resources
Computer Systems Administration
General SysAdmin Reference
Unix/Server Administrative Software
- Apache HTTP Server Project
- Postfix
- Fighting Spam and Postfix
- Postfix Performance Tuning
- Postfix Backscatter Howto
- Postfix Standard Configuration Examples
- ASCII table
- The Pine FAQ
- Installing Spam Assassin on OS X
- Rsync Homepage
- HTML Tidy homepage
- The BibTeX-XML-HTML Bibliography Project
- CygWin
W3C, HTML, XML, MathML, TEI, and Unicode
- HTML vs XHTML
- W3C Organization
- W3C HTML Homepage
- W3C HTML Validation Service
- 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
- Reliably Encoding Fancy Symbols in HTML Documents
- Unicode Browser Display
- Unicode Home Page
- Combining Characters (Diacritical Marks) in Unicode
- 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
- HeVeA translator: LaTeX -> HTML
- W3C Math: MathML puts math on the Web
- Math Markup Language (Chapter 6)
- Amaya Overview
- Amaya for Mac OS X
- Electronic Reference Formats (American Psychological Association)
Institutions
Universities
Stanford University
MIT
United States Government
Miscellaneous Institutions
General Computer Reference
Unix, X
- Unix Porting Guide for MacOSX
- Darwin Ports for Mac OS X
- Remote X Apps: Telling the Server
- Fink Homepage
- Fink download page
- Fink User's Guide
Emacs
- Useful Wiki for Carbon Emacs Package
- FAQ
- Emacs on Aqua (Cocoa/ GnuStep APIs)
- Emacs for Mac OS X
- Emacs Users Manual (gnu.org)
TeX
- TeX i-Installer Home Page
- Graphics in LaTeX
- LaTeX for Logicians
- Installing Fonts for LaTeX on OS X
- LyX
- TeX on Mac OS X
- The UK TeX Archive
- Mac OS X TeX/LaTeX Website
- TeXShop for Mac OS X
- Thomas Kiffe's TeX Tools for OS X (including MacGhostViewX, MacDviX, BBEdit plugins, etc.)
- The teTeX Homepage
- Hyperlatex
- InstantTeX and teTeX
- U.S. CTAN TeX-Archive
- German CTAN TeX- Archive
Perl
- CPAN (Comprehensive Perl Archive Network)
- learn.perl.org The site for people learning Perl
- Perl Monks
Purchasing Hardware/Software Online
FAQs
MacOS X 10.x
| Apple Sources | Tiger | News and Information | Admin, Tips, and Useful Software |
| idd Applications | Darwin, X, and Fink | Miscellaneous Sources |
Apple Sources
- Apple Computer
- Apple Store
- Macintosh Featured Software Downloads
- Macintosh Products Guide
- Apple Developer MacOS X Page
- MacOS X Page (Tiger)
- MacOS X Server Page (Tiger)
- MacOS X Server Documentation Pages
- Apple Mac OS X Server Support Page
- Apple Discussions List
- RSS Feeds to Apple Mailing Lists
- Search AppleCare Support
- Apple Product Manuals
- File Bug Report
Tiger
- Ars Technica (Under the Hood of Mac OS X 10.4 Tiger)
- What's New in Tiger (Apple)
- Notes on Tiger (Daring Fireball)
- Spotlight Tips (Apple)
- Spotlight Plugins
- Dashboard Widgets
- Automator Actions
- Leopard Preview
News and Information
- Stepwise Information Server
- Slashdot (Apple)
- MacFixIt (Troubleshooting Solutions)
- MacOSXHints.com
- Tiger hints
- Networking Hints
- OSX FAQ: Technical News/Support for Mac OS X
- Macintouch.com
- MacNet Journal
- Macintosh Software Updates - VersionTracker.com
- MacRumors Buyer's Guide
- Mac DevCenter (O'Reilly Network)
- Doit Apple Support Site (U. Wisconsin)
Admin, Tips, and Useful Software
Admin
- DiveIntoOSX.org
- macosxlabs.org (Mac OS X Deployment in Higher Education) (with Script Archive)
- 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
- Software by Marcel Bresink (NFS Manager, TinkerTool, PrefEdit)
- Huge List of Native OS X Applications (maintained by "Jeff")
- FreeWare Gems for OS X (Mac Dev Center)
- Omni Development, Inc.
- The Gnu Mac OS X Public Archive
Applications
- metaobject
- Share My Desktop
- Apple's Keynote Page
- KeynoteUser.com
- GarageBand Tips at Apple
- iCal Calendar Library
- TeXShop for Mac OS X
- RBrowser (Download and Manual)
- Stone Design (PStill, Create, etc.)
- Carbon Copy Cloner (Mike Bombich)
- Little Snitch
- TeX i-Installer Home Page
- Speed Download (Help Pages)
- SubEthaEdit(Group Editing Software by The Coding Monkeys)
- The Coding Monkeys
- Meteorologist
- MenuMeter
Potentially Useful Applications
- WireTap Pro (record anything playing on your computer)
- Cocktail (Utility for optimizing OS X and removing caches, etc)
- VNC Thing
- Chicken of the VNC
- SpamSieve Plug in for Mail.app to block spam
- Delicious Monster (music and book library cataloguing software)
- iGlasses (add brightness control to iSight camera)
- CSSEdit (Macrabbit Software)
- Coriolis's iPartition (repartition on the fly)
- Meta Object (PdfCompress, PostView (view PDF, PS), TextLightning (PDF->RTF))
- Link Checker (from dotsw.com)
- Link Checker from w3.org
Darwin, X, Fink
Darwin
X11
Fink
- Fink (at The Source Forge)
- The Source Forge
- OS X Swapfiles and /etc/fstab
- Mac OS X Links at MacOSXHints.com
- MacEdition: Aquascaping: Life with OS X
- bresink.com TinkerTool
Beaux Arts
- The Endicott Studio (an interdisciplinary organization dedicated to the creation and support of mythic art)
Blogs
Links To More People, RSS Feeds, Web Sites, Publications, and Web Logs
- HighWire Press
- The Online Books Page (University of Pennsylvania)
- On the Stanford Web
- (Unofficially) Peter S. Beagle
- Leonard Susskind
- Nobel Prizes
- Craig C. Mello
- Paul E. Oppenheimer
- The Source Forge
- Poetry
- Paul Oppenheimer
- The American Mathematical Society
- Mathematics Archive
- Association for Symbolic Logic
- OASIS
- Chris Swoyer
- Paul Oppenheimer
- Ansel Adams
- Bas C. van Fraassen
- Rabbi Edward Boraz
- Seth F. Oppenheimer
- Charles de Lint
- Ellen Datlow
- Eric Freeman
- Susanne Riehemann
- Scientific American RSS feed
- Curiously Strong
- Quotations Page
- University of Chicago Magazine
- macHOME
- American Express
- Jason Aronson
- HarperCollins
- Medline Plus from the (USA) National Library of Medicine
- Coding Monkeys Blog
- Tibetan Government in Exile's Official Web Site
- TPS & ETPS
- Logic at Stanford
- Mathematical Logic Around The World
- Anti Slavery International
- Stanford Encyclopedia of Philosophy
- Casa de los Niños Tucson AZ, USA
- Branden Fitelson
Paul E. Oppenheimer
- PEO Associates
- book reviews
- doors
- music
- papers
- poetry
- prose
- spirituality
- topoi
- vendors
- curriculum vitæ
- wellness within
- pgp public key (ascii-armored)
- favicon
- photos
Blogs
- Blog of Paul E. Oppenheimer (old blog)
- A Philosopher Muses (new blog)
