MIT Links

Subcategories: Admin · Computing · Food · Fun · Outdoors · Guides · IOA · Larch/LSL · Maps

Administrative

• Course VI Degree Requirements—for the MEng degree
• Histories of MIT Administrative and Academic Units
• Thesis Specifications Guide
• Information for Students Graduating in June 2002

Computing

• Apple Student Advocate Group—this page was updated when?
• Athena On-Line Help (OLH)
• SSH at MIT

Food

• Dining Services—find out when you can’t eat on campus
• Food for MIT Students—menus
• Menus for Boston/Cambridge—find out what you can eat off campus
• MIT411—menus, ratings, book-swapping

Fun

• LSC—sucks (and cares <g>)
• Media Lab Parody—by Phil Greenspun
• Rune—the MIT journal of arts and letters
• Sleepless in Seattle, Sightless in St. Helens—part of Travels With Samantha
• Trivia—too easy for MIT folk

Outdoors

• Charles River Distance Map and Bridge Loops
• MIT Outing Club
• Hiking the Blue Hills
• Hiking Middlesex Fells
• Boston Hiking Guide
• Weston Ski Track

Guides

• Course Evaluation Guide—official course evaluations
• HKN Underground Guide—student-edited course evaluations

IOA

• IOA Homepage—the IOA language and toolset
• Javadocs
• Steve Garland’s IOA Page
• To Do List
• Frontend—the latest version of the new frontend
• Chris Luhrs—graph and spanning tree stuff

Larch/LSL

• Larch—languages and tools for formal specification
• Larch Shared Language Handbook—specification language
• LP—the Larch Prover

Maps

• Cluster Maps
• Floorplans— (was http://insite.mit.edu/Docs/floorplans/floorplans.html)
• Map—locate buildings and classrooms