Lindsey Kuper (lindseykuper) wrote,
Lindsey Kuper

"should be"

I used to be nervous about holding office hours, because I thought that students would ask me difficult questions and that I would be revealed as a fraud when I couldn't answer them. Today, though, after trying to reason about dependent types until I felt as though my brain had been liquefied, and then going to class and trying to reason about non-axiomatizable classes of structures1, it was incredibly relaxing and refreshing to go talk to my students for a while. If nothing else, it's a reminder of how far I've come in a year. A year ago, I didn't understand all of the stuff I'm helping them learn now.

I did have to look up one thing to help answer a student's question. But I was proud that I knew exactly what book to grab off the shelf and, furthermore, exactly what page to turn to. Ninety percent of success is knowing where to look things up.

I asked one of my students if his code was working, and he replied, "It should be working." I think I like this "should be" thing quite a lot. Next time my supervisor asks me how my projects are going, I'll cheerfully say, "They should be going great!"

  1. This is for a course called "Introduction to Applied Logic". I can't imagine what they talk about in Introduction to Theoretical Logic.
Tags: c311, research, teaching

  • 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


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded