October 4th, 2009

beartato phd

(no subject)

Today I have been poking through other people's C++ and Python code related to the project I am supposed to be working on. Am fearing that ML has ruined me for other programming languages. You seem to have to (or else by convention are encouraged to) go through such ridiculous hoops to do such simple things. I suppose ML has its share of things that it makes a little verbose (although string interpolation is really the only one that comes to mind) but... bleah.

As an antidote, I looked over a bunch of A. J. Power's category theory papers on Freyd-categories, which are pretty neat. They seem to have a lot to do with Arrows à la Hughes, but Bob Atkey says they are not quite the same deal.
beartato phd

(no subject)

The following two Wednesdays there are talks here at Penn by Doug Hofstadter and linguist David Crystal. These are both sort of adolescent heroes of mine, and though my interests have changed a lot since then, I'm still sort of psyched to get to hear them talk.