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.

  • (no subject)

    Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…

  • (no subject)

    Did some personal archaeology. Helped a little with laundry. Threw some chicken, onions, tomato, stock, peppers in the slow cooker and hopefully…

  • (no subject)

    Dinner with akiva and dannel at nuevo portal in carroll gardens. Ate a pile of chicken stew and rice and beans and maduros, good times. I do miss…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded