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
- Mendeley
- Wolfram|Alpha
- doi
- Dogpile
Philosophy Links
- American Philosophical Association
- Arts and Letters Daily (Service of the Chronicle of Higher Education)
- Association for Symbolic Logic
- Australasian Association of Philosophy
- Australasian Journal of Philosophy
- Blackwell Publishing
- Boethius: Consolatio Philosophiæ
- Computational Metaphysics
- James J. O'Donnell
- Philosophy Documentation Center
- Guide to Philosophy on the Internet (Peter Suber's Guide)
- InPhO (The Indiana Philosophy Ontology Project)
- MIT CogNet
- Metaphysics: Multiple Meanings
- Philosophers' Imprint
- Philosophical Gourmet Report (Brian Leiter, University of Chicago)
- PhilEvents
- PhilPapers: Online research in philosophy
- Project Euclid
- Philosophical Lexicon
- Daniel Dennett
- Blackwell Publishing, Philosophy
- Metaphysics Research Lab
- 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
- the Federated Logic Conference (FLoC) 2010
- Journal of Logic and Computation
- Oxford 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
Artificial Intelligence
- Association for the Advancement of Artificial Intelligence (AAAI)
- AI Topics (AAAI)
- McGovern Institute for Brain Research at MIT
- MIT Intelligence Initiative
Reasoning
- IJCAR 2010
- The TPTP Problem Library for Automated Theorem Proving (Geoff Sutcliffe and Christian Suttner)
- 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)
- Objective Caml (OCaml)
- ACL2: A Computational Logic
- Alfa/Agda
- B Prover
- The Coq Proof Assistant
- EQP Equational Prover
- HOL Automated Reasoning Group
- IMPS: An Interactive Mathematical Proof System
- Isabelle/Isar
- The Lego Proof Assistant
- Metamath
- The Minlog System
- The Mizar Project
- The Nuprl Project
- Omega Group
- Paradox
- The PhoX Proof Assistant
- Prover 9 and Mace 4
- PVS Specification and Verification System
- Theorema
- TPS Theorem Proving System
- The CADE ATP System Competition
- The TPTP Problem Library for Automated Theorem Proving
- CADE: The Conference on Automated Deduction
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
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
Libraries
- Open Archives Initiative
- Internet Archive
- Arizona State University
- Scottsdale Public Library System
- Computer and Information Science Papers CiteSeer Publications ResearchIndex
- The WWW Virtual Library
- The Library of Congress catalog
- News from Scottsdale Public Library
- JSTOR
- CiteSeerX
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
- W3Schools Online Web Tutorials
- 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
- The Unicode Consortium
- 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)
- 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)
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 | Snow Leopard | News and Information | Admin, Tips, and Useful Software |
| 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 (Snow Leopard)
- 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
Snow Leopard
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
git
Beaux Arts
- The Endicott Studio (an interdisciplinary organization dedicated to the creation and support of mythic art)
- The Poetry Foundation
- The Academy of American Poets
Institutions
Universities
Stanford University
MIT
United States Government
Financial Institutions
Miscellaneous Institutions
Blogs
Social Networks
Travel
Links To More People, RSS Feeds, Web Sites, Publications, and Web Logs
- Google Reader
- 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
- The American Mathematical Society
- Mathematics Archive
- Association for Symbolic Logic
- OASIS
- Chris Swoyer
- 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
- How To Permanently Delete a Facebook Account
- Herbert B. Enderton
- Area codes locator
Paul E. Oppenheimer's personal links
- Store
- Papers
- Curriculum Vitæ (html)
- Curriculum Vitæ (plain text)
- PGP public key (ascii-armored)
Paul E. Oppenheimer's Blogs
- A Philosopher Muses (WordPress blog)
- Paul E. Oppenheimer's LiveJournal
Older Stuff
- Blog of Paul E. Oppenheimer (older blog)
