Resources

This is the archived website of SI 413 from the Fall 2013 semester. Feel free to browse around; you may also find more recent offerings at my teaching page.

Textbooks

Software

Remote Login

The easiest way to access course software is to log in to one of the machines in our Unix lab. They all have names like

mich316csdXXu.academy.usna.edu
where XX is the number of the machine (from 01 up to 20).

Logging in from a Unix of Linux-based machine

To log in from any unix or linux machine on the yard, you just need to type

ssh -Y mich316csdXXu.academy.usna.edu -l mYYYYYY
where again XX is the machine number and YYYYYY is your alpha. (The -Y part lets you run graphical programs like drscheme after logging in - important!)

Logging in from a Windows machine

You basically have three options if you're running Windows:

  1. Walk to Michelson hall and sit down in the lab. (Lab door code will be sent out by email.)
  2. Install a graphical SSH client on your Windows computer. The suggested way is by first installing Xming and Xming-fonts from this website, and then installing PuTTY from this website. You run Xming to start your local X server, and then run PuTTY to connect to the remote machine. If this all sounds intimidating, try Googling something like putty xming tutorial. Just remember that your hostname will be mich302csdXXu.academy.usna.edu (for some value of XX - see above), and your username is the letter m followed by your alpha.
  3. Install Linux on your machine. Any Linux distro will do; the machines in the labs are running Ubuntu, which is a pretty good choice.
    Linux can be installed within a virtual machine such as VirtualBox. To find out how to do this, Google some phrase like VirtualBox Ubuntu Windows, or ask a friend.
    Alternatively, you can install Linux in a separate partition of a dual-booted computer. You should talk to a friend (or your instructor) about how to do this.

Scheme

Other PL stuff