Jason (jcreed) wrote,
Jason
jcreed

Meeting with Frank: not a lot of technical discussion, but I am more confident that type refinements could be a good thing to stick my feet in, and more confident that the marriage-committee stuff will be okay.
Type systems: actually started in on λ-calculus today. β-convert the night away! Eventually they will indeed get to more deep stuff, according to the syllabus, anyway.
D&D: I was rolling really crappy numbers all night unless I'm falling prey to some sort of statistical fallacy. Left somewhat early, feeling tired to the point of almost feeling sick, but that feeling subsided a bit later as I at least walked around a bit and got something small to eat, and I did manage to sleep continuously until my alarm clock went off.
Subscribe

  • (no subject)

    After getting home from work immediately appeared to be a traintastrophe in the making, went to see Esther Schor talk about her book "Bridge of…

  • (no subject)

    Thai curry leftovers for dinner. Got a copy of Hennessy and Patterson's textbook on Architecture, and I am enjoying catching up on all the low-level…

  • (no subject)

    Finally the end is in sight for unpacking my books. Heartstrings are pulled over the desire to slim down and get rid of some of them, but so many are…

  • 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 

  • 0 comments