Jason (jcreed) wrote,
Jason
jcreed
Blerg. Barely got up in time to grab lunch at get back to Wean in time for Module Systems. Still kind of drifting off and not paying attention during it. Found something called Uzino on eLibrejo. The intro of the first issue talks about what its purpose is "as you can tell from the name" [kiel oni povas diveni el la nomo] but I can't figure out what the name is supposed to be. It can't be uz- (use) + -in- (female) + o (noun ending), can it? That doesn't make any sense. But I can't find uzin- as a root by itself. Oh well.

Complexity theory finished up the proof of PSPACE subset IP. Intense stuff. I think I finally get the basic ideas, though. Got in a big philosophical argument about the role of programming skills and mathematical sophistication in CS education with a guy in LTI whose name I didn't catch and Dave Charlton and Rudich after class.
Subscribe

  • (no subject)

    K got back tonight, pretty late in subjective time (3-4am or so, coming from europe) but all in one piece. None of her houseplants, which were…

  • (no subject)

    K is off tonight to Old Country for a couple weeks, to fulfill family-seeing obligations. Sad! Thankfully we still have internet and skype and…

  • (no subject)

    Finally home. This time instead of mysteriously attracting screaming babies I mysteriously attracted full grown adults biting their nails or maybe…

  • 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 

    Help
  • 3 comments