Well, I guess someone does like me after all :D
I got the PSLC internship/research thing I applied for. I’ll be working here (in Pittsburgh/around CMU) this summer on “Automated Understanding of Algebra Word Problems,” which sounds amazing. The best part is meals and housing (and plane tickets to/from Pittsburgh) are provided… and I get a rather modest stipend for my work… as in more than I made all last summer, and this is much more interesting work.

So yeah, between that and the website I’m working on for the outreach center, I’m pretty much set work-wise.

Oh yeah, I also (finally) got my 312 elaborator working. I was just misinterpreting the rules for type matching. I was reading the left triangle as “the term on the right evaluates/checks to the left,” when it’s exactly the opposite (the list of types on the right is what the function needs to return). Once Keith explained that to me, it all made sense was was quite easy to write. Whee.
Blah, I always get hung up on notation.

Wheeee! So happy!