Lindsey Kuper (lindseykuper) wrote,
Lindsey Kuper
lindseykuper

All gradual typing and triangles, all the time

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!"

Tags: grad school
Subscribe

  • The Rust object system struggles to its feet (plus, a little brainteaser)

    When I last wrote about my work on Rust a month ago, I had just finished implementing some very basic support for extending Rust objects with new…

  • Redexing

    For the last two weeks at work, my little PLT Redex model of Rust has been taking shape. It's been a lot of fun. I started with lambda calculus,…

  • My first month at Mozilla

    As it turns out, I picked an interesting month to start working at Mozilla. On Tuesday of my second week, Firefox 4 launched, followed by the…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 2 comments