Jakov Kucan's Bookmarks
- Bookmarks@theory.lcs.mit.edu
- Link to my bookmarks @ theory.lcs.mit.edu. Quite unorganized and outdated.
- Useful Links
- ...well, sort of...
- AltaVista
Aviation
- 1997 World Gliding Championship
- St. Auban, France, June 29-July 12, 1997
- EAA - The Sport Aviation Association
- EAA Oshkosh Fly-In
- FAA Written Exams
- Preliminary version of a Java applet to practice for FAA written exams. (Still under development.)
- Federal Aviation Administration (FAA)
- Fédération Aéronautique Internationale (FAI)
- Landings
- All sorts of aviation related information and sites.
- MITSA
- M.I.T. Soaring Association (not affiliated with M.I.T.)
- World Air Games
- The first World Air Games. 13-21 September 1997 in Turkey.
Conferences
- Programming Language and Compiler Conferences
- A list of all major conferences related to programming languages and compilers. Provided by Mark Leone.
- LICS 98
- POPL 98
- POPL 97
- CSCW 96
CS & Math departments, etc.
Boston area
- Computer science and math departments at Boston area universities and colleges.
- Colleges & Universities Eastern Mass
- Boston College, Math
- Boston University, CS
- Brandeis University, CS
- Clark University, Math & CS
- ... in Worcester, MA
- Harvard University, DEAS
- Division of Engineering and Applied Sciences at Harvard University
- Harvard University, Math
- MIT, Theory of Computation
- Northeastern University, CS
- Stonehill College, Math & CS
- Suffolk U., Math & CS
- Tufts, EECS
- U. of Massachusetts, Boston, Math & CS
- Wellesley College, CS
- Wentworth Institute of Technolgy
- ... in Boston, MA
- École Polytechnique, CS
- LMU, Informatik, TCS
- Nova Southeastern U., CS
- ... in Ft. Lauderdale, FL
- Oxford University
- Rice University, CS
- U. of Arhus, CS
- U. of Bridgeport (Conn.)
- U. of Cambridge, Computer Lab
- U. of Edinburgh, CS
- U. of Glasgow, CS
- U. of Melbourne, CS
- U. of Pennsylvania, CIS
- U. of Zagreb, Applied Math
- ...at the Faculty of Electrical Engineering and Computing
- U. of Zagreb, Faculty of Mathematics
- AT&T Labs Research
- Bell Laboratories
- Digital Corporate Research
- IBM T. J. Watson Research Center
- Microsoft Research
- ACM
- Association of Computing Machinery
- SIAM
Jobs
- Job searching resources.
- Employment Opportunities and Resume Postings
- itCareers
- OTEC.COM
- OTEC.COM is the New York Tri-State's and Silicon Valley's premiere staffing solutions firm.
- Professional Opportunities from SIAM News
- RBL Agency Ltd.
- A head hunting agency.
- SelectJOBS
Libraries and Journals
- Brandeis Libraries Catalog
- Hypatia
- LMS Journal of Computation and Mathematics
Linear Logic Resources
- Bibliography on Linear Logic (CMU)
- John Maraist's Linear Logic Work Archive
- SRI-CSL-LL: Linear Logic
News
- ABC News
- The Boston Globe
- CNN
- Hrvatska Radiotelevizija
- Croatian Radio and Television (includes live broadcast using ReadAudio/RealVideo)
- The New York Times
- RFE/RL NewsLine
- The Washington Post
Personal Homepages
- ...mostly of people with interest in Logic and Theoretical Computer Science
- Andrea Asperti
- Andrea Asperti (papers)
- Michael Barr
- G.M. Bierman
- Olivier Danvy
- Andrzej Filinski
- Stefano Guerrini
- Alessio Guglielmi
- Ian Mackie
- Harry Mairson
- David McAllester
- Jens Palsberg
- Christian Retoré
- Jon G. Riecke
- Helmut Schwichtenberg
- R.A.G. Seely
Software etc.
Fonts
- Directory of /pub/fonts
- Free TrueType fonts for the Web
- ISO 8859-2 (Latin 2) Resources
- ISO 8859-2 Character Set
- ISO 8859-2 Support Page
Mac
- Adobe Systems Incorporated
- Apple: Performa Technical Support Online
- Mac OS at MIT
- MacAmp -- MPEG3 for the Macintosh
- MacFixIt
- All sorts of troubleshooting solution for Macs.
- Metrowerks WorldWide
- Microsoft Word 97-98 Import Converter
- The MP3 Audio Consortium
- Progressive Networks, The Home of RealAudio & RealVideo
- Rockstar Studios Inc.
- Makers of FreePPP.
- The DrScheme
- Graphical environment for developing Scheme programs from Rice University
Java
- AppleJava
- JavaSoft
- Bison 1.25 - Table of Contents
- Catalog of compilers: Bison++ and Flex++
- Flex - a scanner generator - Table of Contents
- GCC4MS free C++ compiler - gcc for MS-DOS - gcc for Windows NT
- Ghostscript, Ghostview and GSview
- GNU's Not Unix! - the GNU Project and the Free Software Foundation (FSF)
- GNU Documentation
- Simtel.Net - Keith Petersen's Worldwide Shareware Distribution Network
Travel, airline tickets, etc.
- Travel guides, airline reservations systems, etc.
- City.Net Travel
- City.Net Reservations
- Great Outdoor Recreation Pages
- Great Outdoor Recreation Pages - National Parks, Forests, Wilderness, Wildlife, Hiking, Biking, Fishing, Climbing, Paddling, Gear, Books, Adventure Travel Tours & Outfitters and More
- Hickory Hawks Ski Club - Ski Links
- The Insiders' Guides (r)
- MBTA Schedules - Commuter Rail
- SBB CFF FFS Timetable
- Timetable for European trains
- Travel Information Software Systems
- Travelocity
- Air, car, and hotel reservations online.
- TravLang
- Travel and Language related resources.
U.S. Government
- Critical Technologies Institute
- Department of Justice
- Library of Congress
- INS
- Immigration and Naturalization Service
- IRS
- Internal Revenue Service
- United States Information Agency
- U.S. Department of State
- US State Department Consular Affairs
misc.
- The GLIN Welcoming Page
- Small Business Innovation Research Program Instruction Guide
- SBA: The SBA ACT -- File 1 of 13
- SBA: Small Business Administration Home Page
- SBA: Small Business Administration Home Page
- SBA: Small Business Act of 1958 and PL 104-208, Approved 9/30/96
Weather
TAFs
- Terminal Aerodrome Forecasts
- KBOS
- KORH
METARs
- Observations
- KBED
- KBOS
- KORH
- Aviation Digital Data Service
- Aviation Weather Abbreviations
- Aviation Weather Center
- Aviation weather products from NOAA and National Centers for Environmental Prediction. Includes AIRMETs, SIGMETs, TAFs, METARs, Winds Aloft, Area Forecasts, etc.
- Boston NWS Aviation Products
- Cambridge, MA, local forecast
- Local forecast for Cambridge, MA from the National Weather Service Boston. Includes now and extended forcasts.
- El Nino
- Information related to the El Nino Southern Oscillation phenomenon.
- NWS Forecast Office, Boston, MA
- The Weather Channel
Other
- ...in other words, not classified (yet).
- Electronics info page
- Radio Electronics Pages
- HwB: The Hardware Book
- The Rolling Stones - World Tour Site
- The Af2 Proof Assistant
- Beer Is My Life!
- Currency Converter
- OANDA Currency Converter and Financial Forecasts
- European IQ-Test
- Kelley Blue Book
- New/used car values in the US.
- Massachusetts Lottery
- The MITRE Corporation
- Office of Int'l Programs at U. Penn
- Quantum Information
- Tokyo Food Page Recipes
- http://www.ito.darpa.mil/Solicitations/PIP_9810.html
- http://www.ito.darpa.mil/Solicitations/RFI_9801.html
- Above All Aviation
- Pacific Aviation International
- L Carl Pedersen: Loan Payment Derivation Math