|
[Sep. 28th, 2003|10:20 pm]
Jason
|
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. |
|
