|All gradual typing and triangles, all the time
||[Sep. 8th, 2010|11:30 pm]
My schedule for this semester, in its entirety:
CSCI-B 629 TPCS IN PROGRAMMING LANGUAGES (3 CR)
VT: INTEGRATNG STATIC&DYNAMC TYPNG
30280 01:00P-02:15P MW LH 115 Ahmed A
TOPIC : Integrating Static and Dynamic Typing
COGS-Q 700 SEMINAR IN COGNITIVE SCIENCE (3 CR)
VT: INSIGHT & INVENT IN GEOMETRY
27979 RSTR 11:15A-12:30P TR BH 235 Hofstadter D
TOPIC : Insight and Invention in Geometry
I'm having a blast. I have, for the first time, an actual office to sit in at school, with like-minded people to sit next to; I don't have to grade anyone's homework; half of my homework consists of drawing triangles and thinking about them; and I gave a little talk for Integrating Static and Dynamic Typing this afternoon that I'm very happy about. I'm beginning to think that this stuff might be the Research Identity™ I've been circling in on.
Also, I wore lime green, stiletto-heeled, strappy sandals today, and not only did I not fall over, but nobody jumped up in the middle of my presentation and said, "Your shoes show that you're not a real computer scientist! Stop doing that type safety proof this instant!"