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
  • 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