Jason (jcreed) wrote,
Jason
jcreed

Talked refinement types with Donna. I feel somewhat more enlightened about the topic now.
Need to get real work done so bad it hurts but I keep staring at paper and/or TeX and making zero progress. Mathematical equivalent of writer's block or something.

Learned something of the usefulness of direct questions in interpersonal interaction, even if they don't produce the answer I might have preferred.
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 

  • 4 comments