[ back to Tom 7 Radar ]

p
e
r
s
o
n
a
l
It's ... (05 Dec 2002 at 05:04)
It's that time of the month again! Classes end on Friday, but my crunch is for tomorrow -- I'm up all night grading 150 assignments for 15-212 (totalling about 1000 pages!) and preparing a talk for the last day of a seminar class. It's no fun, but unlike previous semesters I really am done after this evening. No other projects or deadlines are hanging over my head except for my regular research, and that's actually fun.

Today I saw Dana Scott's last ever lecture at CMU. Crazy! He is retiring next year and "Applied Logic" was his last class.

(Constructive Logic Joke follows.) Remember: There are three kinds of people in this world: Those who believe in excluded middle, those who don't believe in excluded middle, and those who don't not believe in excluded middle.
c
o
m
m
e
n
t
Abid in DC (pcp02139168pcs.reston01.va.comcast.net) – 12.27.02 18:38:49
this is totally random, but like two years ago i used ure fonts for a project...and today i was looking for fonts for my girlfriend and i stumbled onto your site once again, and after looking through the rest of your sites, i must say that you are like uber creative...good luck with whatever you do when your're dont with school!

p
o
s
t

a

c
o
m
m
e
n
t
[ Tom 7 Radar  •  Tom 7 on Google+  •  on Twitter  •  on Facebook ]