Jason (jcreed) wrote,


Got a little work done on my LinLog project.
General recursive types are a little annoying syntactically.

Went to dinner at Mark Stehlik's. People I knew there
were Martin, Drew Hoskins, Frances Ning (to whom
a year or three ago I tried to sell a Linear
Algebra book I had already sold, I think :)
Evan Chang and Ana Ramirez. The food was quite good
(turkey, potatoes, rice with peas and bacon (!),
glazed carrots, rolls) and the conversation was
pretty amusing. In particular we swapped lots
of Rudich and Kesden stories.
  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded