(no subject)
Today was good, albeit with massive sleepdep. I taught 505, which meant doing a type safety proof with 18 people watching. The result was moderate success. Apparently I can talk for 80ish minutes on type safety, and only get bogged down in the substitution lemma. Then, networks meeting, class, dinner with Jess.
Sleep.
Sleep.