Lindsey Kuper (lindseykuper) wrote,
Lindsey Kuper

Oracle Turing machines and relativization: just enough knowledge to be dangerous

This evening I gave a talk at my friend Christine's fledgling Beer and Algorithms Club about oracle Turing machines and relativization. This is not my area1, so to feel more confident, I wrote down pretty much every word in advance.2 Let me know if you notice any glaring errors!

Anyway, I'm pretty excited about Beer and Algorithms. The "get together every week and discuss a paper we've all read in advance" idea had been tried in the past, but it didn't work very well because nobody would ever get through more than, like, half of the paper. But "trade off teaching a topic to the rest of the group, making liberal use of Christine's whiteboard" seems to be working much better. Hooray!

  1. My "area", insofar as I have one, seems to be explaining the use of svn st to people in my research group. Well, that and the use of commas.
  2. Lemme just warn ya -- the result is nowhere even close to good enough to be considered an "article", but it might pass muster as "long-winded crib notes".
Tags: beer and algorithms

  • 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