JARD

Day +31.

Just Another Regular Day.

Meetings, Bloody Meetings all day long at work.

Yesterday, though, I forgot to mention I had the first meeting of the year with my thesis supervisor. Nice to get back to it. He concurred with my three month plans in general, although we will talk about a few mods (of course! That is why he is my thesis supervisor! ) One thing he is considering getting me involved in is a message passing language that is founded on linear logic. Could be quite cool. We also talked about some possible extensions and improvement to LQPL, although those are likely to be longer term. The biggest mod, which actually requires an update to the plan, is that he thinks it would be best to handle the coproduct case at the same time as the product case in inverse categories. One without the other is like peanut butter without jam. It just doesn't leave you satisfied.

That's actually quite cool as I really prefer to have something complete (hmmm - perfectionism perhaps?) before saying it is ready to go.

Well — off to write more HUnit tests!