Bookmarks for Stuart Allen

Deja News WWWebster Dictionary Yahoo! Google Nuprl Ephemera The Straight Dope: Home Page Nighteagle Cafe, Oxford DRUDGE REPORT CNN Interactive News About Freedom - Civil Liberties - From About.com Salon Magazine Welcome to Ithaca Times Online
Cornell The Cornell Store Adm Welcome to the Cornell Theory Center CUCS CS Colloquia CU TRs Cornell Movies: This Month Nuprl CUinfo
Ithaca Events (via cuinfo) TCAT Home Page Ithaca Times: News Front Page http://www.ithaca.ny.us/ http://www.cornell.edu/Events/Events.html Movies All Movie Guide People Finder PFA Filmnotes cinemopolis fall creek cornell Hoyts Weather http://cnn.com/WEATHER/html/IthacaNY.html http://www.usatoday.com/weather/basemaps/nw725156.htm CUinfo Weather Page
Misc Former USA VP Dan Quayle Quotes HowStuffWorks.com - Learn how Everything Works! http://www.jezebel.com/mirror/ Paintings The Open Source Initiative: Site Index Catalogue of Usability sites http://mapping.usgs.gov/www/gnis/gnisform.html http://130.166.124.2/library.html http://www.festivalfinder.com/ Sonicopia main TLC Productions cluetrain manifesto Feminist.com About-Face: Gallery of Offenders Irradiation The AFU & Urban Legends Archive GSS Gutta Books from Dharma Trading Company Paints, Pigments http://members.xoom.com/_XOOM/mspong/varnish.html EO Wilson E. O. Wilson - Excerpt 1 http://www.theatlantic.com/unbound/bookauth/eow2.htm http://www.theatlantic.com/unbound/bookauth/eow3.htm http://www.theatlantic.com/unbound/bookauth/eow4.htm Back From Chaos - 98.03
linux Linux Tips - Linux, Clocks, and Time The Linux HOWTO Index The Linux Mall - Home Page Linux.com - HowTo's - Laptop-HOWTO-6 Linux on Laptops Linux Notebook HQ Directory of /pub/linux/sources/system/v2.2 Linux on Dell Inspiron linux speech recognition AbbotDemo: Continuous Speech Recognition Available by FTP DDLinux Speech Recognition Mailing List EasySpeech - Speech Recognition for UNIX http://www.fluent-speech.com/technology/default.htm Speech Processing and Recognition IBM ViaVoice ASR SDK for Linux - FAQs Registration
NonStandard I/O Sony Computing Products: Sony LCD Data Projector Epson Multimedia Projectors Speech Recognition - Typing Injury FAQ Computer Talk
Recipes Robin Garr's World Cooking Pages: Table of Contents Emma's recipepage http://southernfood.tqn.com/library/recipes/blidx.htm The Dinner Co-op Home Page: for cooks and food-lovers!
Papers TLA Papers Lamport & Paulson Giovanni Sambin Home Page Chris Hillman's Eprints
HTML etc. HTML Help by The Web Design Group Sun Java 1.1.4 html Docs Including Math Notation in Web Pages Positioning HTML Elements with Cascading Style Sheets The Java Language Specification Learning HTML 3.2 by Examples HTML Conformance Testing
FONT Unicode Unicode Home Page Font Utilities Font Utilities MATHEMA - Unicode Unicode file:/home/sfa/nuprl-home/FONT/test.html
Liberty Scientific American: Feature Article: To Protect and Self-Serve: March 2001 http://www.advogato.org/ Institute for Justice: Litigating for Liberty Justice: Libertarian Style A Paean to Property The Tragedy of the Commons The Cato Institute: Public Policy Analysis, Limited Government, Free Markets Lingua Franca | Feature The Trial of Ethel and Julius Rosenberg The Thomas Jefferson Center for the Protection of Free Expression Home School Legal Defense Association Libertarianism - Home Page Anarcha-Feminism - Bioethics vs Patriarchy - Biomedical - http://maxpages.com/anarchafem League for Programming Freedom (LPF) Libertarian Party PlatformIGHTS AND CIVIL ORDER On the Duty of Civil Disobedience by Henry David Thoreau CATO HANDBOOK for the 105TH CONGRESS No Treason Vices Are Not Crimes Nat Hentoff Walter Williams Archives "Libertarian Stuff" Forbes Magazine Stories By Virginia Postrel The Free Radio Network FREE! The Freedom Forum Online. News about free press, free speech, free spirit and journalism issues worldwide. Liberty Unbound/LIBERTY magazine ACLU: American Civil Liberties Union Virginia Postrel ASAP Index Civil Liberties - Welcome from The Mining Company The Center for Democracy and Technology The Year in Civil Liberties, 1996 Drug Reform Coordination Network Online Library of Drug Policy FIRST AMENDMENT CYBER-TRIBUNE James's Liberty file collection index Liberty Unbound/LIBERTY magazine MEDIA BYPASS : UNCENSORED NATIONAL NEWS Reason magazine World Wide Libertarian Pages David Brin ZDNet: News: The beauty of a world without privacy MetroActive Books | David Brin David Brin's The Transparent Society Amazon.com: buying info: The Transparent Society: Will Technology Force Us to Choose Between Privacy and Freedom? David Brin RKBA Second Amendment Law Library Second Amendment Sisters Armed Informed Mothers March http://teapot.usask.ca/pub/cdn-firearms/Snyder/nation.of.cowards Keep and Bear Arms - Gun Owners Home Page - 2nd Amendment Supporters Gun Control: Myths and Realities (Commentary) The Right To Keep and Bear Arms Second Amendment is For Everyone (SAFE) Legal Scholarship on the Second Amendment The Value of Civilian Arms Possession As Deterrent To Crime Or Defense Against Crime
Formal Methods On-line Publications of Andrew Pitts UITP UITP 1998 - Informal Proceedings Selected Papers etc. 1997 What is Wrong with GUIs for Theorem Provers 1996 The CtCoq experience MathSpad: Tool Support for the Calculational Method Jape's quiet interface Proving as Editing Lessons From Experience: Making Theorem Provers More Co-operative UITP 1998 UITP '96 Papers Papers at UITP'97 UITP '96 Workshop on Interface Design for Theorem Provers newsletter - FACS EuropeFACS WWW Newsletter UITP '97 Michael Kohlhase's Home Page SRI-CSL-PVS The Mizar Project Internet Math Consortium CIP/SW http://www.imath.org/ Vesta Home Page Counterexamples in Clifford algebras Erica Melis The CtCoq User Interface Proof General --- Organize your proof with Emacs Sets versus recursive functionals Inst. for Logic, Lang, and Computation A user's guide to ALF <P> The World Wide Web Virtual Library: Formal Methods SRI Formal Methods at the Computer Science Laboratory, SRI International SRI-CSL: Publications
Philosophy Confessions of a formalist, Platonist intuitionist St. Andrews: Stewart Shapiro The Internet Classics Archive | Categories by Aristotle http://www.rbjones.com/rbjpub/logic/log025.htm The Organon - Aristotle's Logic Torkel Franz�n http://www.dcs.qmw.ac.uk/~pt/Practical_Foundations/ The Narrational Case Against Church's Thesis A Century of Controversy Over the Foundations of Mathematics Solomon Feferman's homepage A Century of Controversy over the Foundations of Mathematics Philosophy in Cyberspace Philosophy Web Discussion Peter Suber, "Non-Standard Logics" Philosophy in Cyberspace: Main Index The Electronic Journal of Analytic Philosophy University of Chicago Philosophy Project
Math Mathematics and Computing Science Groningen Discrete Mathematics Constructive Mathematics Simpson: SOSOA http://www.math.hmc.edu/misc/topics.html http://mathworld.wolfram.com/Multiset.html Mathematical Logic around the world TheoremNet - The web site for resources mathematics! Mathematics on the Web: MathML and MathType Constructive Mathematics Metamath Solitaire Set Theory Page
Math Ed Welcome to the Cornell Theory Center The Irascible Professor Online library for science education Workshop on Teaching Logic and Reasoning in an Illogical World Torkel Franzen Symposium on Teaching Logic EDUCAUSE Home Page The Chronicle of Higher Education: Articles W3C Math: MathML puts math on the Web WWW interactive mathematics server Cise Educational Innovation Program (NSF 98-44) Scientific American: Article: Taking Computers to Task (Box 2): 7/97 U.S. Department of Education EDITORIAL -- Math + Rigor = College Mathematics Equals Opportunity (October 20, 1997) MathSoft 1996 FIE Conference CTC Math/Science Gateway: Mathematics MegaMath Text Menu Euclid: with dynamic diagrams CSUSB Reference Notes Page Essay: Mathematical Approaches to Things Forum Internet Resource Collection Gries: Teaching Logic as a tool Interactive Mathematics Miscellany and Puzzles Math Forum - Mathematics Education Mathematics Archives WWW Server NSF OnLine Documents Inspect These Yahoo! Search Results 2 plus 2: The Home of Mathematically Correct The World-Wide Web Virtual Library: Mathematics Mathematical Software Index geometry
Law CNN.com - LAW Center - Supreme Court US Code : Title 13, Section 221 VPC - Where Did You Get That Statistic? Pamela Samuelson United States Code The ACLU and the Supreme Court: 77 Years, 77 Great Victories lawyersweekly CNN Programs: Burden Of Proof Legal Information Institute State Statutes by Topic The Law
Bicycles Helmets: Bicycle Helmet Safety Institute: Bike Helmets Bicycle Helmet FAQ John Forester's Home Page helmet efficacy helmet research survey Crash-Type Manual for Bicyclists http://www.bhsi.org/webdocs/henderst.htm Bicycle Helmet Standards Comparison - Bicycle Helmet Safety Institute Cyclists Rights Action Group (CRAG) Bicycle Repair HELMET PROPAGANDA REVIEWED Cycling Science: New Developments for the Technical Enthusiast Human Powered Vehicle Home Page Ontario CBC Homepage Articles
Music Green Linnet / Ithaca Guitar Works- Ithaca's Premier New & Used Guitar Shop. Onsite Luthiers & So Much More. The Jerry Site Fair Ellender I Truly Understand Man Of Constant Sorrow Whiskey In The Jar Will The Circle Be Unbroken http://www.deadlists.com/SONGS/SHADYGP1.HTM http://www.deadlists.com/SONGS/ITRULYP1.HTM Google Search: jerry garcia lyrics shady grove Trinity College Octave Mandolin Acoustic Music - Folk of the Wood Stefan Sobell - Mandolin Family Instruments The MP3 Archive Acoustic Music - Folk of the Wood Ceolas celtic music archive The Music of Rongovia
Magazines Arts & Letters Daily - ideas, criticism, debate http://www.crn.com/ http://www.sciencenews.org/20000506/bob1.asp Jewish World Review: Cal Thomas, Thomas Sowell, Dr. Laura, Walter Williams, Mona Charen, Jeff Jacoby, Don Feder, Mallard Fillmore The Christian Science Monitor suite101 BYTE Articles Suck: Daily PR Watch: Second Quarter 1997 Contents Salon Magazine | Archives By Subject Welcome to The Black World Today American Atheist - The Web Edition Interesting Articles The Age of Social Transformation Do We Consume Too Much? HotWired! TIME CSICOP / Skeptical Inquirer Sci/Tech American Scientist Homepage BYTE Articles Engineers' Forum Harvard Computer Review IEEE Computational Science & Engineering IEEE Computer Society Science News Online - The Weekly Newsmagazine of Science Scientific American Poly/Ec/Cult AFRONET.COM Atlantic Journal of Contemporary Art Mother Jones The Nation National NOW Times Index National Review - America's Conservative Magazine New Republic Reason No Shitting In the Toilet RiotGrrl Utne Reader Online Village Voice Worldwide Z Fun ONION | Number One In News Fortean Times Online Girlfriends Miles O'Neal : Wired Different Thinking Magazine
Hitchens By subject Boston Review | Christopher Hitchens: Never Trust Imperialists The Unfailing Solidarity of Chomsky with the Revisionists HITCHENS The Chorus and Cassandra (1985) http://www.uniblab.com/collie/gobbledegook.html